SPECS - MAKING FORMAL TECHNIQUES USABLE

Authors
DAUPHIN M FONADE G REED R
Citation
M. Dauphin et al., SPECS - MAKING FORMAL TECHNIQUES USABLE, IEEE software, 10(6), 1993, pp. 55-57
Citations number
1
Categorie Soggetti
Computer Sciences","Computer Applications & Cybernetics
Journal title
IEEE software → ACNP
ISSN journal
07407459
Volume
10
Issue
6
Year of publication
1993
Pages
55 - 57
Database
ISI
SICI code
0740-7459(1993)10:6<55:S-MFTU>2.0.ZU;2-Y