Author Search Results

1

Cover Image

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings / edited by Yamine...

Published 2019

Other Authors: '; “...Ait-Ameur, Yamine....”
Get full text

2

Cover Image

Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings / edited by Yamine Ait Ameur, Klaus-Dieter...

Published 2014

Other Authors: '; “...Ait Ameur, Yamine....”
Get full text

3

Cover Image

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Communications of NII Shonan Meetings / edited by Yamine Ait-Ameur, Shin Nakajima, Domin...

Published 2021

Other Authors: '; “...Ait-Ameur, Yamine....”
Get full text

4

Cover Image

ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6,...

Published 2014

Other Authors: '; “...Ait Ameur, Yamine....”
Get full text