KLARLUND, N.; NIELSEN, M.; SUNESEN, K. A Case Study in Automated Verification Based on Trace Abstractions. BRICS Report Series, [S. l.], v. 2, n. 54, 1995. DOI: 10.7146/brics.v2i54.19955. Disponível em: https://tidsskrift.dk/brics/article/view/19955. Acesso em: 20 apr. 2024.