1994
Book
Title

The KORSO case study for software engineering with formal methods

Title Supplement
A medical information system
Author(s)
Cornelius, F.
Hussmann, H.
Löwe, M.
Publisher
Publishing Place
Berlin
Language
German