Cover Image
Read Now

1
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... case study for software engineering with formal methods: A medical information system...”