This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Ernst-Rüdiger Olderog
A grouping.
Ernst-Rüdiger Olderog: Hoare-logic expressiveness and the rule of adaptation (1983), and with Apt the verification textbooks and 'Fifty years of Hoare's logic'.
7 references
Fifty years of Hoare's logic
Krzysztof R. Apt and others (2019) · Formal Aspects of Computing
Verification of object-oriented programs: A transformational approach
Krzysztof R. Apt and others (2012) · Journal of Computer and System Sciences
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt and others (2009) · Springer
Proof rules and transformations dealing with fairness
Krzysztof R. Apt and others (1983) · Science of Computer Programming · Elsevier BV
On the Notion of Expressiveness and the Rule of Adaption
Ernst-Rüdiger Olderog (1983) · Theoretical Computer Science
Sound and complete Hoare-like calculi based on copy rules
Ernst-Rüdiger Olderog (1981) · Springer Science and Business Media LLC
Present-day Hoare-like systems for programming languages with procedures: Power, limits and most likely extensions
Hans Langmaack and others (1980) · Automata, Languages and Programming · Springer Berlin Heidelberg