Parchments for CafeOBJ Logics

Specification, Algebra, and Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-54624-2_4 ◽

2014 ◽

pp. 66-91

Author(s):

Till Mossakowski ◽

Wiesław Pawłowski ◽

Donald Sannella ◽

Andrzej Tarlecki

Download Full-text