Brablec, T., Dacík, T., & Vojnar, T. (2026). SEAL: Symbolic Execution with Separation Logic (Competition Contribution).
Chicago-Zitierstil (17. Ausg.)Brablec, Tomáš, Tomáš Dacík, und Tomáš Vojnar. SEAL: Symbolic Execution with Separation Logic (Competition Contribution). 2026.
MLA-Zitierstil (9. Ausg.)Brablec, Tomáš, et al. SEAL: Symbolic Execution with Separation Logic (Competition Contribution). 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.