Klarlund N, Nielsen M, Sunesen K. A Case Study in Automated Verification Based on Trace Abstractions. BRICS [Internet]. 1995 Nov. 24 [cited 2024 Apr. 25];2(54). Available from: https://tidsskrift.dk/brics/article/view/19955