ISSE

Search

The KIV-approach to Software Verification

W. Reif

The KIV-approach to Software Verification

published 1995 in: Berlin M. Broy and S. Jähnichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final Report

Publisher: Springer LNCS 1009


Downloads: