APA (7th ed.) Citation

Powell, T. (2023). Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language.

Chicago Style (17th ed.) Citation

Powell, Thomas. Proofs as Stateful Programs: A First-order Logic with Abstract Hoare Triples, and an Interpretation into an Imperative Language. 2023.

MLA (9th ed.) Citation

Powell, Thomas. Proofs as Stateful Programs: A First-order Logic with Abstract Hoare Triples, and an Interpretation into an Imperative Language. 2023.

Warning: These citations may not always be 100% accurate.