Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
    See More
  • General Material Designation
    See More
  • Location
    See More
  • Language
    See More
Found 2 from your keywords: author=Johnsen, Einar Broch
cover
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to …
Comment Share
Johnsen, Einar BrochAhrendt, WolfgangBeckert, BernhardBubel, Richard

This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verificati…

Edition
1
ISBN/ISSN
978-3-031-08166-8
Collation
xii, 521p.: Ill.
Series Title
Lecture Notes in Computer Science
Call Number
005.437 The
cover
Fundamental Approaches to Software Engineering: 25th International Conference…
Comment Share
Johnsen, Einar BrochWimmer, Manuel

This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 subm…

Edition
1
ISBN/ISSN
978-3-030-99429-7
Collation
xiv, 347p.: ill
Series Title
Lecture Notes in Computer Science
Call Number
005.101 Fun