Semantic Constructions in the Specification Language GLIDER.

Silvia Clerici, Rosa M. Jimnez, Fernando Orejas

Browse the full COMPASS paper archive.