Title: The symbolic execution of software
First published: 1995
Subjects: Computer programs, Testing, COBOL (Computer program language), Quality control, Software engineering, Computer software, Case studies, Computer Science, Systems analysis & design, Computers - General Information, Computer science
LC classification: QA76.76.S95 C68 1995