The Correctness Problem in Computer Science - Hardcover

 
9780121229207: The Correctness Problem in Computer Science