Towards A Method Of Programming With Assertions

D.S. Rosenblum
International Conference on Software Engineering  
doi:10.1109/icse.1992.753493 fatcat:md5thoaeojd2pcfcyzudejqkt4