APA (7th ed.) Citation

Tofan, B. (2014). Compositional Concurrent Program Verification with RGITL.

Chicago Style (17th ed.) Citation

Tofan, Bogdan. Compositional Concurrent Program Verification with RGITL. 2014.

MLA (9th ed.) Citation

Tofan, Bogdan. Compositional Concurrent Program Verification with RGITL. 2014.

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