APA (7th ed.) Citation

Kura, S. (2023). Higher-Order Weakest Precondition Transformers via a CPS Transformation.

Chicago Style (17th ed.) Citation

Kura, Satoshi. Higher-Order Weakest Precondition Transformers via a CPS Transformation. 2023.

MLA (9th ed.) Citation

Kura, Satoshi. Higher-Order Weakest Precondition Transformers via a CPS Transformation. 2023.

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