Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings Ait-Ameur, Yamine Heftet / 2019 / Engelsk
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Communications of NII Shonan Meetings Ait-Ameur, Yamine Innbundet / 2020 / Engelsk
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Communications of NII Shonan Meetings Ait-Ameur, Yamine Heftet / 2021 / Engelsk
Engineering of Complex Computer Systems 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19–21, 2024, Proceedings Bai, Guangdong Heftet / 2024 / Engelsk
