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.
Krzysztof R. Apt
A grouping.
Krzysztof R. Apt: what Hoare logic can prove, surveyed from 'Ten Years of Hoare's Logic' (1981-84) to 'Fifty years of Hoare's logic' (2019), with the textbook on sequential and concurrent program verification and its OO sequel.
8 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
Ten Years of Hoare's Logic: A Survey Part II: Nondeterminism
Krzysztof R. Apt (1984) · Theoretical Computer Science
Proof rules and transformations dealing with fairness
Krzysztof R. Apt and others (1983) · Science of Computer Programming · Elsevier BV
Ten Years of Hoare's Logic: A Survey - Part I
Krzysztof R. Apt (1981) · ACM Transactions on Programming Languages and Systems
Recursive assertions are not enough - or are they?
Krzysztof R. Apt and others (1979) · Theoretical Computer Science · Elsevier BV
Exercises in denotational semantics
Krzysztof R. Apt and others (1976) · Lecture notes in computer science · Springer Science+Business Media