Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings: 7940 : Johnsen, Einar Broch, Petre, Luigia: Amazon.sg: Books
Einar Broch Johnsen - Professor - Sirius
Preparations at Lysebotten. Robert Caspersen and Einar Broch Johnsen racking up on the evening before the
Einar Broch Johnsen | DeepAI
Reklamefilmprodusent vil satse mer på tv-drama - henter tidligere Rubicon-sjef | Kampanje
Einar Broch - NTNU
Environmental Applications - Sirius
Advanced Lectures on Formal Methods for Multicore Programming | Einar Broch Johnsen
Prof. Einar Broch
Einar Broch Johnsen on Twitter: "In Sophia-Antipolis for PhD defense of Justine Rochas. She has made an ABS backend in ProActive as part of her work. https://t.co/1pG5jYw57a" / Twitter
company — Cleve Broch AS
Einar Broch email address & phone number | Lawson Software Norge AS Managing Director contact information - RocketReach
Tid & rom: Nicolai Cleve Brochs slektsreise
Einar BROCH | Norwegian University of Science and Technology, Trondheim | NTNU | Department of Geology and Mineral Resources Engineering | Research profile
Einar Broch || NTVA
Professor Einar Broch has received prestigious award from ITA – Department of Geoscience and Petroleum
Nicolai Cleve Broch - IMDb
Lifetime Achievement Award til Einar Broch - Geoforskning.no
The Logic of Software. A Tasting Menu of Formal Methods | Einar Broch Johnsen
Advanced Lectures on Formal Methods for Executable Software Models | Einar Broch Johnsen
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday | SpringerLink
