%0 Thesis %1 phd/ethos/Charlton08 %A Charlton, Nathaniel %D 2008 %K dblp %T Cooperatively combining program verifiers: foundations and tool support.

@phdthesis{phd/ethos/Charlton08, added-at = {2022-04-05T00:00:00.000+0200}, author = {Charlton, Nathaniel}, biburl = {https://www.bibsonomy.org/bibtex/2ee2e7139d36fac7bc96b7f55ca4f4a16/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.491134}, interhash = {1c7c9c7f4e76d9f08eaff1f7fdd1dc8a}, intrahash = {ee2e7139d36fac7bc96b7f55ca4f4a16}, keywords = {dblp}, note = {British Library, EThOS}, school = {Imperial College London, UK}, timestamp = {2024-04-09T08:45:11.000+0200}, title = {Cooperatively combining program verifiers: foundations and tool support.}, year = 2008 }