APA-referens (7:e uppl.)
Beyer, D., & Friedberger, K. (Dec 15, 2016). A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker. arXiv.org. https://doi.org/10.4204/EPTCS.233.6
Chicago-referens (17:e uppl.)
Beyer, Dirk, och Karlheinz Friedberger. "A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker." ArXiv.org Dec 15, 2016. https://doi.org/10.4204/EPTCS.233.6.
MLA-referens (9:e uppl.)
Beyer, Dirk, och Karlheinz Friedberger. "A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker." ArXiv.org, Dec 15, 2016, https://doi.org/10.4204/EPTCS.233.6.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.