ISSE

Search

Formal System Development with KIV

M. Balser, W. Reif, G. Schellhorn, K. Stenzel, and A. Thums

Formal System Development with KIV

published 2000 T. Maibaum, editor, Fundamental Approaches to Software Engineering

Publisher: Springer LNCS 1783


Downloads: