ISSE

Search

A Method for the Development of Correct Software

Pepper, Wirsing, Betschko, Broy, Dick, Didrich, Faulhaber, Grieskamp, Hußmann, Mehlich, and Reif

A Method for the Development of Correct Software

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