%0 Thesis %1 phd/ethos/Zammit99 %A Zammit, Vincent %D 1999 %K dblp %T On the readability of machine checkable formal proofs.

@phdthesis{phd/ethos/Zammit99, added-at = {2022-04-05T00:00:00.000+0200}, author = {Zammit, Vincent}, biburl = {https://www.bibsonomy.org/bibtex/29311fbd3d2dd2411202c7fe7876d4f59/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.286097}, interhash = {28bdcdf2b43202d01e831be080c4d7f5}, intrahash = {9311fbd3d2dd2411202c7fe7876d4f59}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Kent, UK}, timestamp = {2024-04-09T08:48:30.000+0200}, title = {On the readability of machine checkable formal proofs.}, year = 1999 }