Lecture Notes in Computer Science
Volume 2651, 2003, DOI: 10.1007/3-540-44880-2

ZB 2003: Formal Specification and Development in Z and B
Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings

Didier Bert, Jonathan P. Bowen, Steve King and Marina Waldén

Contents

Viewing all 31 chapters
Search within

Browse This Book

  • Look Inside
  • Contents
  • ESM

About This Book

Title
ZB 2003: Formal Specification and Development in Z and B
Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings
Editors
Collection
Computer Science
Subjects
None Assigned
Copyright Year
2003
DOI
10.1007/3-540-44880-2
ISBN
978-3-540-40253-4
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Sunday, August 03, 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