The symbolic execution of software the SYM-BOL system

QR Code

The symbolic execution of software the SYM-BOL system

Bibliographic Details
Main Author:	Coward, David
Other Authors:	Ince, Darrel
Format:	Book
Language:	English
Published:	London Chapman & Hall c1995.

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