Institutions for Very Abstract Specifications.

Maura Cerioli, Gianna Reggio

Browse the full COMPASS paper archive.