Jean-Paul Bodeveix, Mamoun Filali. On the Automatic Validation of Parameterized Unity Programs. In 12th International Parallel Processing Symposium / 9th Symposium on Parallel and Distributed Processing (IPPS/SPDP 98), March 30 - April 3, 1998, Orlando, Florida, USA, Proceedings. pages 807-819, IEEE Computer Society, 1998.
@inproceedings{BodeveixF98, title = {On the Automatic Validation of Parameterized Unity Programs}, author = {Jean-Paul Bodeveix and Mamoun Filali}, year = {1998}, researchr = {https://researchr.org/publication/BodeveixF98}, cites = {0}, citedby = {0}, pages = {807-819}, booktitle = {12th International Parallel Processing Symposium / 9th Symposium on Parallel and Distributed Processing (IPPS/SPDP 98), March 30 - April 3, 1998, Orlando, Florida, USA, Proceedings}, publisher = {IEEE Computer Society}, isbn = {0-8186-8403-8}, }