"Panel: Assertion-Based Verification -What's the Big Deal?"

Sandeep K. Shukla et al. (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics