On theory and practice of assertion based software development (2005)

by Herbert Toth
Venue:Journal of Object Technology