APA (7th ed.) Citation

Wickerson, J. P. (2013). Concurrent verification for sequential programs. https://doi.org/10.17863/CAM.11791

Chicago Style (17th ed.) Citation

Wickerson, John Peter. Concurrent Verification for Sequential Programs. 2013. https://doi.org/10.17863/CAM.11791.

MLA (9th ed.) Citation

Wickerson, John Peter. Concurrent Verification for Sequential Programs. 2013. https://doi.org/10.17863/CAM.11791.

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