Štill, V., Ročkai, P., & Barnat, J. (May 31, 2018). Using Off-the-Shelf Exception Support Components in C++ Verification. arXiv.org. https://doi.org/10.1109/QRS.2017.15
Η αντιγραφή στο πρόχειρο ολοκληρώθηκε επιτυχώς
Η αντιγραφή στο πρόχειρο απέτυχε
Παραπομπή σε μορφή Chicago (17η εκδ.)
Štill, Vladimír, Petr Ročkai, και Jiří Barnat. "Using Off-the-Shelf Exception Support Components in C++ Verification."
ArXiv.org May 31, 2018. https://doi.org/10.1109/QRS.2017.15.
Η αντιγραφή στο πρόχειρο ολοκληρώθηκε επιτυχώς
Η αντιγραφή στο πρόχειρο απέτυχε
Παραπομπή σε μορφή MLA (9th εκδ.)
Štill, Vladimír, et al. "Using Off-the-Shelf Exception Support Components in C++ Verification."
ArXiv.org, May 31, 2018, https://doi.org/10.1109/QRS.2017.15.
Η αντιγραφή στο πρόχειρο ολοκληρώθηκε επιτυχώς
Η αντιγραφή στο πρόχειρο απέτυχε
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.