Lecture Notes in Computer Science
Volume 2335, 2002, DOI: 10.1007/3-540-47884-1

Integrated Formal Methods
Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings

Michael Butler, Luigia Petre and Kaisa Sere

Contents

Viewing all 21 chapters

About This Book

Title
Integrated Formal Methods
Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings
Editors
Collection
Computer Science
Subjects
None Assigned
Copyright Year
2002
DOI
10.1007/3-540-47884-1
ISBN
978-3-540-43703-1
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Friday, August 01, 2003

About This Book Series

Title
Lecture Notes in Computer Science
Coverage
Volume 1 / 1973 - Volume 7260 / 2012
Collection
Computer Science
Subjects
ISSN
0302-9743 (Print)
1611-3349 (Online)
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Friday, April 05, 2002