Proceedings of the Symposium "Formal Methods for HW/SW Design for Grand Challenge Scientific Applications" - (held at the SIMAI2000 Conference, Ischia, Italy, 5-9 June 2000) - Preface

Authors
Palazzari, P Rosato, V
Citation
P. Palazzari et V. Rosato, Proceedings of the Symposium "Formal Methods for HW/SW Design for Grand Challenge Scientific Applications" - (held at the SIMAI2000 Conference, Ischia, Italy, 5-9 June 2000) - Preface, COMP PHYS C, 139(1), 2001, pp. XI-XII
Categorie Soggetti
Physics
Journal title
COMPUTER PHYSICS COMMUNICATIONS
ISSN journal
00104655 → ACNP
Volume
139
Issue
1
Year of publication
2001
Pages
XI - XII
Database
ISI
SICI code
0010-4655(20010901)139:1<XI:POTS"M>2.0.ZU;2-2