AHRENDT, Wolfgang, BECKERT, Bernhard, BUBEL, Richard und JOHNSEN, Einar Broch (Hrsg.). 1 st ed. 2022. Cham: Springer International Publishing. ISBN 9783031081668.
Elsevier - Harvard (with titles)Ahrendt, W., Beckert, B., Bubel, R., Johnsen, E.B. (Hrsg.), 2022. The Logic of Software. A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60 th Birthday, 1 st ed. 2022. ed, Lecture Notes in Computer Science. Springer International Publishing, Cham. https://doi.org/10.1007/978-3-031-08166-8
American Psychological Association 7th editionThe Logic of Software. A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60 th Birthday. (ca. 2022). [Cd]. In W. Ahrendt, B. Beckert, R. Bubel, & E. B. Johnsen (Hrsg.), Lecture Notes in Computer Science (1 st ed. 2022). Springer International Publishing. https://doi.org/10.1007/978-3-031-08166-8
Springer - Basic (author-date)Ahrendt W, Beckert B, Bubel R, Johnsen EB (Hrsg.) (2022) The Logic of Software. A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60 th Birthday, 1 st ed. 2022. Springer International Publishing, Cham
Juristische Zitierweise (Stüber) (Deutsch)Ahrendt, Wolfgang/ Beckert, Bernhard/ Bubel, Richard/ Johnsen, Einar Broch (Hrsg.), The Logic of Software. A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60 th Birthday, 1 st ed. 2022 , Cham 2022.