Run-Time Verification of Coboxes.

Frank S. de Boer, Stijn de Gouw, Peter Y. H. Wong

Browse the full SEFM paper archive.