1
Rigorous State-Based Methods [E-Book] : 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings /
Other Personal Name(s): “...Méry, Dominique...”

Full text 
Favorites
Saved in:
2
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems [E-Book] : Communications of NII Shonan Meetings /
Other Personal Name(s): “...Méry, Dominique...”

Full text 
Favorites
Saved in:
3
Rigorous State-Based Methods [E-Book] : 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings /
Other Personal Name(s): “...Méry, Dominique...”

Full text 
Favorites
Saved in:
4
Theoretical Aspects of Computing – ICTAC 2014 [E-Book] : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings /
Other Personal Name(s): “...Méry, Dominique....”

Full text 
Favorites
Saved in:
5
FM 2012: Formal Methods [E-Book]: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings /
Other Personal Name(s): “...Méry, Dominique....”

Full text 
Favorites
Saved in:
6
Integrated Formal Methods [E-Book] : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /
Other Personal Name(s): “...Méry, Dominique....”

Full text 
Favorites
Saved in: