Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods)

by: Matt Kaufmann · Panagiotis Manolios · J Strother Moore Hardcover details (USA). ISBN: 978-0-7923-7849-5 ISBN-10: 0-7923-7849-0 Springer · 2000