The symbolic execution of software
by David Coward, Darrel Ince, David Coward · 1995

No description available.
Computer programsTestingCOBOL (Computer program language)Quality controlSoftware engineeringComputer softwareCase studiesComputer ScienceSystems analysis & designComputers - General InformationComputer science