Couto LD. On the Extensibility of Formal Methods Tools [Internet]. Aarhus, DK: Aarhus Universitet; 2016 [cited 2026 Jan. 1]. (Ph.D-afhandlinger). Available from: https://openbooks.kb.dk/au/catalog/book/118