Meine van der Meulen, Miguel A. Revilla. Experiences with the Design of a Run-Time Check. In Janusz Górski, editor, Computer Safety, Reliability, and Security, 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings. Volume 4166 of Lecture Notes in Computer Science, pages 302-315, Springer, 2006. [doi]
Abstract is missing.