Yamine Aït Ameur, Dominique Méry. Handling Heterogeneity in Formal Developments of Hardware and Software Systems. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II. Volume 7610 of Lecture Notes in Computer Science, pages 327-328, Springer, 2012. [doi]
Abstract is missing.