The Simulation Relation for Formal E-Contracts.

Luis Llana, Mara-Emilia Cambronero, Gregorio Daz

Browse the full SOFSEM paper archive.