%0 Thesis %1 phd/ethos/Herbert86 %A Herbert, John M. J. %D 1986 %K dblp %T Application of formal methods to digital system design.

@phdthesis{phd/ethos/Herbert86, added-at = {2022-04-05T00:00:00.000+0200}, author = {Herbert, John M. J.}, biburl = {https://www.bibsonomy.org/bibtex/25b3e3ffc1c107c3d403a8c18fc273ed4/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.233985}, interhash = {44b68d9f9c15ea6affe8a2d94b596aa0}, intrahash = {5b3e3ffc1c107c3d403a8c18fc273ed4}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Cambridge, UK}, timestamp = {2024-04-09T08:48:36.000+0200}, title = {Application of formal methods to digital system design.}, year = 1986 }