%0 Thesis %1 phd/ethos/Andrews96 %A Andrews, Simon John %D 1996 %K dblp %T Writing and animating Z specifications.

@phdthesis{phd/ethos/Andrews96, added-at = {2022-04-05T00:00:00.000+0200}, author = {Andrews, Simon John}, biburl = {https://www.bibsonomy.org/bibtex/2ad4f25d33270289400c483f98613ef4f/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.361388}, interhash = {97de5008ebd73b948882a3a3b1586956}, intrahash = {ad4f25d33270289400c483f98613ef4f}, keywords = {dblp}, note = {British Library, EThOS}, school = {Sheffield Hallam University, UK}, timestamp = {2024-04-09T08:53:52.000+0200}, title = {Writing and animating Z specifications.}, year = 1996 }