Skip to content
Vinony

CafeOBJ report

by Razvan Diaconescu, Kokichi Futatsugi

Cover of CafeOBJ report

No description available.

RéécritureThéorie démonstrationSpécification algébriqueCafeOBJObject-oriented methods (computer science)Algebra