CAFE
Subtitle: An Industrial-Strength Algebraic Formal Method
Contributors: K. Futatsugi (Editor); A.T. Nakagawa (Editor); T. Tamai (Editor)
Publisher: Elsevier Science
Published: September 1, 2000
Language: eng
Number of pages: 194
ISBN-13: 9780444505569