NDLTD Global ETD Search
Return to search

Agda as a platform for the development of verified railway interlocking systems

No description available.
Links & Downloads
  1. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.678306
Tags
004
Additional Fields
Identiferoai:union.ndltd.org:bl.uk/oai:ethos.bl.uk:678306
Date January 2012
CreatorsKanso, Karim
PublisherSwansea University
Source SetsEthos UK
Detected LanguageEnglish
TypeElectronic Thesis or Dissertation

Page generated in 0.0023 seconds