algebraic-specification topic

List algebraic-specification repositories

cafeobj

33
Stars
4
Forks
Watchers

Development of the CafeOBJ interpreter

verified publisher icon CafeOBJ