Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings Sekerinski Emil Heftet / 2024 / Engelsk
Program Development by Refinement Case Studies Using the B Method Sekerinski Emil Heftet / 1998 / Engelsk
Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings Albert Elvira Heftet / 2014 / Engelsk
From Action Systems to Distributed Systems The Refinement Approach Petre Luigia Heftet / 2020 / Engelsk
FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings Misra Jayadev Heftet / 2006 / Engelsk
