%0 Thesis %1 phd/ethos/Barnard96 %A Barnard, Judith %D 1996 %K %T COMX : a methodology for the formal design of computer systems using communicating X-machines.

@phdthesis{phd/ethos/Barnard96, added-at = {2023-12-12T23:32:50.000+0100}, author = {Barnard, Judith}, biburl = {https://www.bibsonomy.org/bibtex/2186fb471076425f81d23129f48908b74/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.321410}, interhash = {57209174271fce04c124c882d735352e}, intrahash = {186fb471076425f81d23129f48908b74}, keywords = {}, note = {British Library, EThOS}, school = {Staffordshire University, UK}, timestamp = {2023-12-12T23:32:50.000+0100}, title = {COMX : a methodology for the formal design of computer systems using communicating X-machines.}, year = 1996 }