A Practical Approach to Programming With Assertions (1995)

by D S Rosenblum
Venue:IEEE Transactions on Software Engineering