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

MLA

Ahrendt, Wolfgang, et al. Logic of Software. a Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle On the Occasion of His 60th Birthday. Cham: Springer International Publishing AG, 2022.

APA

Ahrendt, W., Beckert, B., Bubel, R., & Johnsen, E. Broch. (2022). Logic of Software. a Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday. Cham: Springer International Publishing AG.

Chicago

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