Debug enhancements in assertion-checker generation

Marc Boule, Jean-Samuel Chenard, Zeljko Zilic. Debug enhancements in assertion-checker generation. IET Computers & Digital Techniques, 1(6):669-677, 2007. [doi]

Abstract

Abstract is missing.