Couto LD. On the Extensibility of Formal Methods Tools. Aarhus Universitet; 2016. doi:10.7146/aul.118.106