The Logic of Software. A Tasting Menu of Formal Methods

Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen, (Eds)
July, 2022
Cite DOI

Abstract

The Logic of Software. A Tasting Menu of Formal Methods. Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

Type
Book
Publication
LNCS 13360. © Springer 2022.
Einar Broch Johnsen
Einar Broch Johnsen
Professor