Login
|
New Account
ITA
ENG
Modular structuring of VDM specifications in VVSL
Authors
C.A.Middelburg
Citation
C.a.middelburg, Modular structuring of VDM specifications in VVSL, Formal aspects of computing The international journal of formal methods , 4(1), 1992, pp. 13-47
Journal title
Formal aspects of computing The international journal of formal methods
→
ACNP
ISSN journal
09345043
Volume
4
Issue
1
Year of publication
1992
Pages
13 - 47
Database
ACNP
SICI code