%0 Thesis %1 phd/ethos/Hierons92 %A Hierons, Robert M. %D 1992 %K dblp %T Using formal specifications to enhance the software testing process.

@phdthesis{phd/ethos/Hierons92, added-at = {2022-04-05T00:00:00.000+0200}, author = {Hierons, Robert M.}, biburl = {https://www.bibsonomy.org/bibtex/22f4d4133afa06df73e384e13481204ea/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.315529}, interhash = {aca9cfe3a54e84dc7b2d95bf40a7540a}, intrahash = {2f4d4133afa06df73e384e13481204ea}, keywords = {dblp}, note = {British Library, EThOS}, school = {Brunel University London, UK}, timestamp = {2024-04-09T09:00:17.000+0200}, title = {Using formal specifications to enhance the software testing process.}, year = 1992 }