%0 Thesis %1 phd/ethos/Bale98 %A Bale, Stephen Alan %D 1998 %K dblp %T The refinement of formal specifications using reusable software components in Ada95.

@phdthesis{phd/ethos/Bale98, added-at = {2022-04-05T00:00:00.000+0200}, author = {Bale, Stephen Alan}, biburl = {https://www.bibsonomy.org/bibtex/24b14edc63bc29ed2f84fbbd6892c4f74/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.265690}, interhash = {bffd1e33328e0850343fe59f5b1e4ee5}, intrahash = {4b14edc63bc29ed2f84fbbd6892c4f74}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of South Wales, UK}, timestamp = {2024-04-09T08:50:51.000+0200}, title = {The refinement of formal specifications using reusable software components in Ada95.}, year = 1998 }