APA (7th ed.) Citation

Bortin, M. (2020). A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs.

Chicago Style (17th ed.) Citation

Bortin, Maksym. A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs. 2020.

MLA (9th ed.) Citation

Bortin, Maksym. A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs. 2020.

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