The symbolic execution of software the SYM-BOL system

Código QR

The symbolic execution of software the SYM-BOL system

Detalles Bibliográficos
Autor Principal:	Coward, David
Outros autores:	Ince, Darrel
Formato:	Libro
Idioma:	English
Publicado:	London Chapman & Hall c1995.

TUKLAS: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman