Karim Kanso. Agda as a platform for the development of verified railway interlocking systems. PhD thesis, Swansea University, UK, 2012. [doi]
@phdthesis{ethos-1592, title = {Agda as a platform for the development of verified railway interlocking systems}, author = {Karim Kanso}, year = {2012}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.678306}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-1592}, cites = {0}, citedby = {0}, school = {Swansea University, UK}, }