Fabrice Kordon, Laure Petrucci. Toward Formal-Methods Oecumenism?. IEEE Distributed Systems Online, 7(7), 2006. [doi]
@article{KordonP06,
title = {Toward Formal-Methods Oecumenism?},
author = {Fabrice Kordon and Laure Petrucci},
year = {2006},
doi = {10.1109/MDSO.2006.47},
url = {http://doi.ieeecomputersociety.org/10.1109/MDSO.2006.47},
researchr = {https://researchr.org/publication/KordonP06},
cites = {0},
citedby = {0},
journal = {IEEE Distributed Systems Online},
volume = {7},
number = {7},
}