The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.07 - July (2006 vol.7)
pp: 2
Fabrice Kordon , Université Pierre & Marie Curie, LIP6/MoVe
Laure Petrucci , Universit? Paris 13, LIPN
ABSTRACT
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.
INDEX TERMS
formal methods, software engineering
CITATION
Fabrice Kordon, Laure Petrucci, "Toward Formal-Methods Oecumenism?", IEEE Distributed Systems Online, vol.7, no. 7, pp. 2, July 2006, doi:10.1109/MDSO.2006.47
26 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool