Symbolic Execution (Chapman & Hall Computer Science: Research & Practice Series)

by: Darrel Ince · David Coward Paperback details (UK). ISBN: 978-0-412-58340-7 ISBN-10: 0-412-58340-2 Cengage Learning EMEA · 1994