From Action Systems to Distributed Systems The Refinement Approach Petre Luigia Heftet / 2020 / Engelsk
From Action Systems to Distributed Systems The Refinement Approach Petre Luigia Innbundet / 2016 / Engelsk
Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings Johnsen Einar Broch Heftet / 2013 / Engelsk
Integrated Formal Methods Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. Butler, Michael Heftet / 2002 / Engelsk
Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings Dongol, Brijesh Heftet / 2019 / Engelsk
Dependability and Computer Engineering Concepts for Software-Intensive Systems Petre Luigia Innbundet / 2011 / Engelsk
