The verification of modules

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
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
6
Issue
1
Year of publication
1994
Pages
223 - 244
Database
ACNP
SICI code