APA Style
Johnsen, Einar Broch, Ahrendt, Wolfgang, Beckert, Bernhard, Bubel, Richard. (2022).
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday (1).
Switzerland:
Springer Cham.
Chicago Style
Johnsen, Einar Broch, Ahrendt, Wolfgang, Beckert, Bernhard, Bubel, Richard.
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.
MLA Style
Johnsen, Einar Broch, Ahrendt, Wolfgang, Beckert, Bernhard, Bubel, Richard.
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.
Turabian Style
Johnsen, Einar Broch, Ahrendt, Wolfgang, Beckert, Bernhard, Bubel, Richard.
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.