%0 Thesis %1 phd/ethos/Tang02 %A Tang, Francis Hin-Lun %D 2002 %K dblp %T Towards feasible, machine-assisted verification of object-oriented programs.

@phdthesis{phd/ethos/Tang02, added-at = {2022-05-04T00:00:00.000+0200}, author = {Tang, Francis Hin-Lun}, biburl = {https://www.bibsonomy.org/bibtex/294dcc0cb419ef605ae81b451f17f3e47/dblp}, ee = {https://hdl.handle.net/1842/14522}, interhash = {8a9f55d3d65e07609af836dd2059a914}, intrahash = {94dcc0cb419ef605ae81b451f17f3e47}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Edinburgh, UK}, timestamp = {2024-04-09T08:45:05.000+0200}, title = {Towards feasible, machine-assisted verification of object-oriented programs.}, year = 2002 }