The symbolic execution of software the SYM-BOL system

Bibliographische Detailangaben
1. Verfasser: Coward, David
Weitere Verfasser: Ince, Darrel
Format: Buch
Sprache:English
Veröffentlicht: London Chapman & Hall c1995.