Rigorous State-Based Methods 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings Raschke, Alexander Heftet / 2021 / Engelsk
Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings Ciobanu Gabriel Heftet / 2014 / Engelsk
Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings Méry, Dominique Heftet / 2010 / Engelsk
Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings Raschke, Alexander Heftet / 2020 / 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
