Valsoft : Abschlußbericht

Software validation, program slicing, constrained solving, measurement system, path condition

Bibliographic Details
Other Involved Persons: Selting, G. ; Grottker, U. ; Goldapp, M.
Format: eBook
Published: Braunschweig : Techn. Univ., Inst. für Programmiersprachen u. Informationssysteme 1998
Edition:[Electronic ed.]
Series:Informatik-Berichte / Technische Universität Braunschweig 97-07
Item Description:Contract no. BMBF 01 IS 513 A-C/3
Differences between the printed and electronic version of the document are possible. - Bibliographic datas partially researched
Physical Description:20 p. = 465 kB, text
QR Code: Show QR Code