COMPASS: A comprehensible assertion method (1997)

by S Bonnier, T Heyer
Venue:In TAPSOFT ’97: Theory and Practice of Software Development