Experiences with the Design of a Run-Time Check.

Meine van der Meulen, Miguel A. Revilla

Browse the full SAFECOMP paper archive.