Correct and robust programs (1984)

by F Cristian
Venue:IEEE Trans. Softw. Eng