Algorithmic Debugging with Assertions

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

@inproceedings{DrabentNM88:0,
  title = {Algorithmic Debugging with Assertions},
  author = {Wlodzimierz Drabent and Simin Nadjm-Tehrani and Jan Maluszynski},
  year = {1988},
  tags = {debugging},
  researchr = {https://researchr.org/publication/DrabentNM88%3A0},
  cites = {0},
  citedby = {0},
  pages = {501-521},
  booktitle = {META},
}