ISSE

Search

Three Selected Case Studies in Verification

T. Fuchß, W. Reif, G. Schellhorn, and K. Stenzel

Three Selected Case Studies in 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: