SPECIAL SECTION ON FORMAL METHODS IN SOFTWARE PRACTICE

Authors
DILLON LK SANKAR S
Citation
Lk. Dillon et S. Sankar, SPECIAL SECTION ON FORMAL METHODS IN SOFTWARE PRACTICE, IEEE transactions on software engineering, 24(1), 1998, pp. 2-3
Citations number
1
Categorie Soggetti
Computer Science Software Graphycs Programming","Engineering, Eletrical & Electronic","Computer Science Software Graphycs Programming
Journal title
IEEE transactions on software engineering → ACNP
ISSN journal
00985589
Volume
24
Issue
1
Year of publication
1998
Pages
2 - 3
Database
ISI
SICI code
0098-5589(1998)24:1<2:SSOFMI>2.0.ZU;2-I