Klarlund N, Nielsen M, Sunesen K. Automated Logical Verification based on Trace Abstractions. BRICS [Internet]. 23. november 1995 [henvist 13. marts 2025];2(53). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/19954