The Use of Assertions in Algorithmic Debugging (1988)

by W Drabent, S Nadjm-Tehrani, J Maluszynski
Venue:The Proceedings of the International Conference on Fifth Generation Computer Systems. ICOT