%0 Thesis %1 phd/ethos/Kahsai09 %A Kahsai, Temesghen %D 2009 %K %T Property preserving development and testing for CSP-CASL.

@phdthesis{phd/ethos/Kahsai09, added-at = {2023-12-13T09:02:58.000+0100}, author = {Kahsai, Temesghen}, biburl = {https://www.bibsonomy.org/bibtex/2a3c9212d53dd664f6d5c190dae1d817c/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.678656}, interhash = {ca6b4f9e72756431c71f7bf7e98c9099}, intrahash = {a3c9212d53dd664f6d5c190dae1d817c}, keywords = {}, note = {British Library, EThOS}, school = {Swansea University, UK}, timestamp = {2023-12-13T09:02:58.000+0100}, title = {Property preserving development and testing for CSP-CASL.}, year = 2009 }