The following pages link to Fifty years of Hoare's logic (Q2280214):
Displaying 4 items.
- Formal semantics of a classical-quantum language (Q2123052) (← links)
- Gentzen's Proof Systems: Byproducts in a Work of Genius (Q2915886) (← links)
- Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs (Q6053407) (← links)
- Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs (Q6152664) (← links)
