Oda, Y. (2025). Proof systems for partial incorrectness logic (partial reverse Hoare logic).
Style de citation Chicago (17e éd.)Oda, Yukihiro. Proof Systems for Partial Incorrectness Logic (partial Reverse Hoare Logic). 2025.
Style de citation MLA (9e éd.)Oda, Yukihiro. Proof Systems for Partial Incorrectness Logic (partial Reverse Hoare Logic). 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.