Couto, L.D. (2016) On the Extensibility of Formal Methods Tools. Aarhus, DK: Aarhus Universitet (Ph.D-afhandlinger). doi:10.7146/aul.118.106.