Cita APA (7a ed.)
Beyer, D., & Keremoglu, M. E. (Jan 30, 2009). CPAchecker: A Tool for Configurable Software Verification. arXiv.org.
Cita Chicago Style (17a ed.)
Beyer, Dirk, y M Erkan Keremoglu. "CPAchecker: A Tool for Configurable Software Verification." ArXiv.org Jan 30, 2009.
Cita MLA (9a ed.)
Beyer, Dirk, y M Erkan Keremoglu. "CPAchecker: A Tool for Configurable Software Verification." ArXiv.org, Jan 30, 2009.
Precaución: Estas citas no son 100% exactas.