The symbolic execution of software the SYM-BOL system

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Coward, David
Rannpháirtithe:	Ince, Darrel
Formáid:	LEABHAR
Teanga:	English
Foilsithe / Cruthaithe:	London Chapman & Hall c1995.