Authors: Grigoris Antoniou

Citation: Grigoris Antoniou, The verification of modules, Formal aspects of computing The international journal of formal methods , 6(1), 1994, pp. 223-244