Mery, Dominique.

Overview

Works:	0 works in 5 publications in 1 languages

Titles

Implicit and explicit semantics integration in proof-based developments of discrete systems = communications of NII Shonan Meetings / by: Mery, Dominique.; SpringerLink (Online service); Nakajima, Shin.; Ait-Ameur, Yamine. (Electronic resources)

Rigorous state-based methods = 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings / by: ABZ (Conference) (2021 :); Raschke, Alexander.; Mery, Dominique.; SpringerLink (Online service) (Electronic resources)

FM 2012 = formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings / by: Giannakopoulou, Dimitra.; Mery, Dominique.; SpringerLink (Online service) (Electronic resources)

Rigorous state-based methods = 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings / by: Raschke, Alexander.; Mery, Dominique.; SpringerLink (Online service); ABZ (Conference) (2020 :); Houdek, Frank. (Electronic resources)

Theoretical aspects of computing - ICTAC 2014 = 11th International Colloquium, Bucharest, Romania, September 17-19, 2014 : proceedings / by: Ciobanu, Gabriel.; Mery, Dominique.; SpringerLink (Online service) (Electronic resources)

Integrated formal methods = 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings / by: Mery, Dominique.; Merz, Stephan.; SpringerLink (Online service) (Language materials, printed)

Subjects