%0 Thesis %1 phd/ethos/Kanso12 %A Kanso, Karim %D 2012 %K %T Agda as a platform for the development of verified railway interlocking systems.

@phdthesis{phd/ethos/Kanso12, added-at = {2023-12-12T17:59:10.000+0100}, author = {Kanso, Karim}, biburl = {https://www.bibsonomy.org/bibtex/2c83dd90ed1b68d00120afbc01dd2874b/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.678306}, interhash = {0bb5d4c541be6f29983950ba86ede209}, intrahash = {c83dd90ed1b68d00120afbc01dd2874b}, keywords = {}, note = {British Library, EThOS}, school = {Swansea University, UK}, timestamp = {2023-12-12T17:59:10.000+0100}, title = {Agda as a platform for the development of verified railway interlocking systems.}, year = 2012 }