.:. Consultation > Par auteur > Ait Ameur .:.

1 document

Handling Heterogeneity in Formal Developments of Hardware and Software Systems Ait Ameur Y., Méry D. Dans 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 7610 (2012) 327-328 [hal-00743810 - version 1]