%0 Thesis %1 phd/ethos/QuintasFigueiredodeBarros97 %A de Barros, Alexandra Maria Quintas Figueiredo %D 1997 %K dblp %T Formal methods for rapid software prototyping.

@phdthesis{phd/ethos/QuintasFigueiredodeBarros97, added-at = {2022-04-05T00:00:00.000+0200}, author = {de Barros, Alexandra Maria Quintas Figueiredo}, biburl = {https://www.bibsonomy.org/bibtex/29b9b8c02a2336f980a070477c5628792/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.244903}, interhash = {4684e209445c36087d4444c34a241dea}, intrahash = {9b9b8c02a2336f980a070477c5628792}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Reading, Berkshire, UK}, timestamp = {2024-04-09T09:02:01.000+0200}, title = {Formal methods for rapid software prototyping.}, year = 1997 }