Otmane Aït Mohamed, Abdelillah Mokkedem. On Formal Verification of Occam Programs. In Hamid R. Arabnia, editor, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1995, November 3-4, 1995, Georgia, USA. pages 805-814, CSREA Press, 1995.
@inproceedings{MohamedM95,
title = {On Formal Verification of Occam Programs},
author = {Otmane Aït Mohamed and Abdelillah Mokkedem},
year = {1995},
tags = {program verification, Occam},
researchr = {https://researchr.org/publication/MohamedM95},
cites = {0},
citedby = {0},
pages = {805-814},
booktitle = {Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1995, November 3-4, 1995, Georgia, USA},
editor = {Hamid R. Arabnia},
publisher = {CSREA Press},
isbn = {0-9648666-0-9},
}