Hybridisation of Institutions in HETS (Tool Paper).

Mihai Codescu

Browse the full CALCO paper archive.