CAFE: An Industrial-Strength Algebraic Formal Method

by: K. Futatsugi · A.T. Nakagawa · T. Tamai

Hardcover

details (USA).

ISBN: 978-0-444-50556-9

ISBN-10: 0-444-50556-3

Elsevier Science · 2000