Understanding CafeOBJ by examples

The talk presents the author’s experience with the CafeOBJ system.

Sidebar