Special issue on formal methods in industry - Foreword

Authors
Cuellar, J Gnesi, S Latella, D
Citation
J. Cuellar et al., Special issue on formal methods in industry - Foreword, SCI COMP PR, 36(1), 2000, pp. 1-3
Categorie Soggetti
Computer Science & Engineering
Journal title
SCIENCE OF COMPUTER PROGRAMMING
ISSN journal
01676423 → ACNP
Volume
36
Issue
1
Year of publication
2000
Pages
1 - 3
Database
ISI
SICI code
0167-6423(200001)36:1<1:SIOFMI>2.0.ZU;2-E