Z: A formal specification notation

Authors
Bowen, JP
Citation
Jp. Bowen, Z: A formal specification notation, FACIT, 2001, pp. 3-19
Categorie Soggetti
Current Book Contents
Journal title
SOFTWARE SPECIFICATION METHODS → ACNP
ISSN journal
14319683
Year of publication
2001
Pages
3 - 19
Database
ISI
SICI code
1431-9683(2001):<3:ZAFSN>2.0.ZU;2-7