Correct and robust programs (1984)

by F Christian
Venue:IEEE Transactions on Software Engineering