Runtime Verification of Contracts with Themulus.

Alberto Aranda Garca, Mara-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace

Browse the full SEFM paper archive.