ISSE

Search

Formal Software Development in the KIV-System

M. Heisel, W. Reif, and W. Stephan

Formal Software Development in the KIV-System

published 1989 in: Detroit, USA, Kestrel Institute, Palo Alto IJCAI-89 Workshop on Automating Software Design, Proceedings, International Joint Conference on Artificial Intelligence