%0 Thesis %1 phd/ethos/Richardson83 %A Richardson, W. E. %D 1983 %K dblp %T Formal techniques in the management of software design.

@phdthesis{phd/ethos/Richardson83, added-at = {2022-04-05T00:00:00.000+0200}, author = {Richardson, W. E.}, biburl = {https://www.bibsonomy.org/bibtex/274782ddbd74a13c90e49f1b937017f72/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.347009}, interhash = {cd964c30504180292c625d33619dd277}, intrahash = {74782ddbd74a13c90e49f1b937017f72}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Oxford, UK}, timestamp = {2024-04-09T08:55:45.000+0200}, title = {Formal techniques in the management of software design.}, year = 1983 }