Sharygina. (2013). Computer Aided Verification (1.). Springer Berlin Heidelberg.
Chicago Style (17th ed.) CitationSharygina. Computer Aided Verification. 1. Springer Berlin Heidelberg, 2013.
MLA (8th ed.) CitationSharygina. Computer Aided Verification. 1. Springer Berlin Heidelberg, 2013.
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.