From OMT diagrams to B specifications

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