Issue No.07 - July (2006 vol.7)
Fabrice Kordon , Université Pierre & Marie Curie, LIP6/MoVe
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MDSO.2006.47
Arguing that there?s only one way to do formal methods is common practice, when in fact interoperability between formal methods can and should be achieved.
formal methods, software engineering
Fabrice Kordon, "Toward Formal-Methods Oecumenism?", IEEE Distributed Systems Online, vol.7, no. 7, pp. 2, July 2006, doi:10.1109/MDSO.2006.47