- Search

- Contact

Behavioural Program Development With the ISAR System

Bauer, B., Hennicker, R
Technischer Bericht, Systems for Computer-Aided Specification, Development and Verification, Workshop, Kiel, Deutschland, 4.-5. Juli 1994, Ed.: B. Buth, R. Berghammer, Christian-Albrechts-Universität Kiel, Institut für Informatik und Praktische Mathematik, Bericht 9416