Lecture Notes in Computer Science
Volume 1641, 1999, DOI: 10.1007/3-540-48257-1

Applied Formal Methods — FM-Trends 98
International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings

Dieter Hutter, Werner Stephan, Paolo Traverso and Markus Ullmann

Contents

Viewing all 28 chapters
Search within

Browse This Book

  • Look Inside
  • Contents
  • ESM

About This Book

Title
Applied Formal Methods — FM-Trends 98
International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings
Editors
Collection
Computer Science
Subjects
None Assigned
Copyright Year
1999
DOI
10.1007/3-540-48257-1
ISBN
978-3-540-66462-8
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Saturday, July 21, 2007

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