Detecting Equivalence of Modular Speci with Categorical Diagrams Theoretical (1998)

by C Oriat
Venue:Computer Science