%0 Thesis %1 phd/ethos/Eleftherakis03 %A Eleftherakis, George %D 2003 %K %T Formal verification of X-machine models : towards formal development of computer-based systems.

@phdthesis{phd/ethos/Eleftherakis03, added-at = {2023-12-13T01:57:35.000+0100}, author = {Eleftherakis, George}, biburl = {https://www.bibsonomy.org/bibtex/2c7dbe3fcf599a2f1e9a9feb504753726/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.400012}, interhash = {78e07c3762ff573b8aea0aa7d91f0308}, intrahash = {c7dbe3fcf599a2f1e9a9feb504753726}, keywords = {}, note = {British Library, EThOS}, school = {University of Sheffield, UK}, timestamp = {2023-12-13T01:57:35.000+0100}, title = {Formal verification of X-machine models : towards formal development of computer-based systems.}, year = 2003 }