Dominique MeryBooksNew Trends in Model and Data EngineeringIntegrated Formal Methods 8th International Conference Ifm 2010 Nancy France October 1114 2010 ProceedingsAuthor data: Open Library