CAFE: An Industrial-Strength Algebraic Formal Method: An Industrial-Strength Algebraic Formal Method
This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. The authors are speakers at a workshop hel... |
|
|
|