%0 Thesis %1 phd/ethos/Harman89 %A Harman, Neal Andrew %D 1989 %K dblp %T Formal specifications for digital systems.

@phdthesis{phd/ethos/Harman89, added-at = {2022-04-05T00:00:00.000+0200}, author = {Harman, Neal Andrew}, biburl = {https://www.bibsonomy.org/bibtex/270ad8197c8a397b2d2ac392060df4a2f/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.235627}, interhash = {a10cf3a18ed59490d575b8f12e8d9500}, intrahash = {70ad8197c8a397b2d2ac392060df4a2f}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Leeds, UK}, timestamp = {2024-04-09T08:53:33.000+0200}, title = {Formal specifications for digital systems.}, year = 1989 }