1
Theoretical Aspects of Software Engineering [E-Book] : 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings /
Other Personal Name(s): “...Aït-Ameur, Yamine...”

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): “...Ait Ameur, Yamine...”

Full text 
Favorites
Saved in:
3
Model and Data Engineering [E-Book] : 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings /
Other Personal Name(s): “...Ait Ameur, Yamine...”

Full text 
Favorites
Saved in:
4
Model and Data Engineering [E-Book] : 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings /
Other Personal Name(s): “...Ait Ameur, Yamine...”

Full text 
Favorites
Saved in:
5
Abstract State Machines, Alloy, B, TLA, VDM, and Z [E-Book] : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings /
Other Personal Name(s): “...Ait Ameur, Yamine...”

Full text 
Favorites
Saved in: