Ali Mili, Sihem Guemara, Ali Jaoua, Paul Torrés. On the use of executable assertions in structured programs. Journal of Systems and Software, 7(1):15-28, 1987. [doi]
No references recorded for this publication.
No citations of this publication recorded.