Aniello Cimitile, Ugo de Carlini, Umberto Villano. Replay-Based Debugging of Occam Programs. Softw. Test., Verif. Reliab., 3(2):83-100, 1993.
@article{CimitileCV93, title = {Replay-Based Debugging of Occam Programs}, author = {Aniello Cimitile and Ugo de Carlini and Umberto Villano}, year = {1993}, tags = {rule-based, Occam, debugging}, researchr = {https://researchr.org/publication/CimitileCV93}, cites = {0}, citedby = {0}, journal = {Softw. Test., Verif. Reliab.}, volume = {3}, number = {2}, pages = {83-100}, }