Logic of Software. a Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday - Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Johnsen, Einar Broch (Cham Springer International Publishing AG, 2022)