Parchments for CafeOBJ Logics

Till Mossakowski, Wieslaw Pawlowski, Donald Sannella, Andrzej Tarlecki

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Parchments for CafeOBJ Logics'. Together they form a unique fingerprint.