From OMT diagrams to B specifications

Authors
Facon, P Laleau, R Nguyen, HP
Citation
P. Facon et al., From OMT diagrams to B specifications, FACIT, 2001, pp. 57-77
Categorie Soggetti
Current Book Contents
Journal title
SOFTWARE SPECIFICATION METHODS → ACNP
ISSN journal
14319683
Year of publication
2001
Pages
57 - 77
Database
ISI
SICI code
1431-9683(2001):<57:FODTBS>2.0.ZU;2-8