Algorithmic Debugging with Assertions

Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski. Algorithmic Debugging with Assertions. In META. pages 501-521, 1988.

Abstract

Abstract is missing.