Jacobs, B. (2026). Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring.
Chicago-Zitierstil (17. Ausg.)Jacobs, Bart. Foundational VeriFast: Pragmatic Certification of Verification Tool Results Through Hinted Mirroring. 2026.
MLA-Zitierstil (9. Ausg.)Jacobs, Bart. Foundational VeriFast: Pragmatic Certification of Verification Tool Results Through Hinted Mirroring. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.