![Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings](http://prodimage.images-bn.com/pimages/9783030994280_p0_v3_s1200x630.jpg)
Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
![Proof Search for the First-Order Connection Calculus in Maude – topic of research paper in Computer and information sciences. Download scholarly article PDF and read for free on CyberLeninka open science hub. Proof Search for the First-Order Connection Calculus in Maude – topic of research paper in Computer and information sciences. Download scholarly article PDF and read for free on CyberLeninka open science hub.](https://cyberleninka.org/viewer_images/328410/f/1.png)
Proof Search for the First-Order Connection Calculus in Maude – topic of research paper in Computer and information sciences. Download scholarly article PDF and read for free on CyberLeninka open science hub.
Einar Broch email address & phone number | Lawson Software Norge AS Managing Director contact information - RocketReach
![Preparations at Lysebotten. Robert Caspersen and Einar Broch Johnsen racking up on the evening before the first ascent of Sortvitt on Kjerag. Preparations at Lysebotten. Robert Caspersen and Einar Broch Johnsen racking up on the evening before the first ascent of Sortvitt on Kjerag.](https://mountainproject.com/assets/photos/climb/108095813_large_1494262668.jpg?cache=1492873570)
Preparations at Lysebotten. Robert Caspersen and Einar Broch Johnsen racking up on the evening before the first ascent of Sortvitt on Kjerag.
![Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, (Paperback) | Hooked Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, (Paperback) | Hooked](https://images.booksense.com/images/406/189/9783319189406.jpg)
Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, (Paperback) | Hooked
![Einar BROCH | Norwegian University of Science and Technology, Trondheim | NTNU | Department of Geology and Mineral Resources Engineering | Research profile Einar BROCH | Norwegian University of Science and Technology, Trondheim | NTNU | Department of Geology and Mineral Resources Engineering | Research profile](https://i1.rgstatic.net/ii/profile.image/373922613743618-1466161506644_Q512/Einar-Broch.jpg)
Einar BROCH | Norwegian University of Science and Technology, Trondheim | NTNU | Department of Geology and Mineral Resources Engineering | Research profile
![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 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](https://pbs.twimg.com/media/Cs9ODanWYAA7fpq.jpg:large)