%0 Thesis %1 phd/ethos/Dix87 %A Dix, Alan J. %D 1987 %K dblp %T Formal methods and interactive systems : Principles and practice.

@phdthesis{phd/ethos/Dix87, added-at = {2022-04-05T00:00:00.000+0200}, author = {Dix, Alan J.}, biburl = {https://www.bibsonomy.org/bibtex/2a3d7d60010f55b877ef30105badd452b/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.380545}, interhash = {92f95f8bf4bd5d1e15ea55e5a8b66d50}, intrahash = {a3d7d60010f55b877ef30105badd452b}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of York, UK}, timestamp = {2024-04-09T09:01:41.000+0200}, title = {Formal methods and interactive systems : Principles and practice.}, year = 1987 }