B: A model-based method using generalised substitutions

Authors
Diab, H Frappier, M
Citation
H. Diab et M. Frappier, B: A model-based method using generalised substitutions, FACIT, 2001, pp. 39-55
Categorie Soggetti
Current Book Contents
Journal title
SOFTWARE SPECIFICATION METHODS → ACNP
ISSN journal
14319683
Year of publication
2001
Pages
39 - 55
Database
ISI
SICI code
1431-9683(2001):<39:BAMMUG>2.0.ZU;2-D