ISSE

Search

KIV 3.0 for Provably Correct Systems

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

KIV 3.0 for Provably Correct Systems

published 1999 in: Boppard, Germany Current Trends in Applied Formal Methods

Publisher: Springer LNCS 1641


Downloads: