New Trends in Model and Data EngineeringEl Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, Dominique Mery, Kazumi Nakamatsu, Carlos Ordonez · First published 2018Open the Tome
Integrated Formal Methods 8th International Conference Ifm 2010 Nancy France October 1114 2010 ProceedingsDominique Mery · First published 2010Open the Tome
