Correctness Problem in Computer Science (International lecture series in computer science)

Correctness

by: Robert S. Boyer · J. Strother Moore

Hardcover

details (USA).

ISBN: 978-0-12-122920-7

ISBN-10: 0-12-122920-3

Academic Press · 1982