The symbolic execution of software the SYM-BOL system

Saved in:
Bibliographic Details
Main Author: Coward, David 1957-
Other Authors: Ince, Darrel
Format: Book
Published: London Chapman & Hall 1995
Series:Computer science 2
Subjects:
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:155 p. ill. 24 cm
Bibliography:Includes bibliographical references (p. 147-151) and index
ISBN:0412583402