By Diaconescu R.   Futatsugi K.   in Theoretical Computer Science

ISSN:0304-3975|285|2|289-318

Elsevier‎(2002)‎

Access to resources Favorite 11.873214

CAFE: An Industrial-Strength Algebraic Formal Method‎

By Futatsugi   K.;Nakagawa   A. T.;Tamai   T.  

ISBN:9780080528403

Elsevier Science‎(2000)‎

Access to resources Favorite 9.339254