FORMAL METHODS - STATE-OF-THE-ART AND FUTURE-DIRECTIONS

Authors
CLARKE EM WING JM
Citation
Em. Clarke et Jm. Wing, FORMAL METHODS - STATE-OF-THE-ART AND FUTURE-DIRECTIONS, ACM computing surveys, 28(4), 1996, pp. 626-643
Citations number
126
Categorie Soggetti
Computer Sciences","Computer Science Theory & Methods
Journal title
ACM computing surveys → ACNP
ISSN journal
03600300
Volume
28
Issue
4
Year of publication
1996
Pages
626 - 643
Database
ISI
SICI code
0360-0300(1996)28:4<626:FM-SAF>2.0.ZU;2-X