ISSE

Search

Formal Software Development in the KIV System

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

Formal Software Development in the KIV System

published 1991 R. McCartney and M. Lowry, editors, Automating Software Design

Publisher: AAAI press