The symbolic execution of software the SYM-BOL system

Bibliografische gegevens
Hoofdauteur:	Coward, David
Andere auteurs:	Ince, Darrel
Formaat:	Boek
Taal:	Engels
Gepubliceerd in:	London Chapman & Hall c1995.