Menu
Home
Help and information
About this website
Privacy Policy
David Coward
1 published title
The symbolic execution of software : the SYM-BOL system
1 edition
ISBN: 0412583402
Chapman & Hall
1995
Details