%0 Thesis %1 phd/ethos/Wolverson09 %A Wolverson, Nicholas %D 2009 %K dblp %T Game semantics for an object-oriented language.

@phdthesis{phd/ethos/Wolverson09, added-at = {2022-05-04T00:00:00.000+0200}, author = {Wolverson, Nicholas}, biburl = {https://www.bibsonomy.org/bibtex/28e082b7b952de8f3c5ef1c68bda6a9f4/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.562399}, interhash = {d770f617c968181f800065ca0a9f6d89}, intrahash = {8e082b7b952de8f3c5ef1c68bda6a9f4}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Edinburgh, UK}, timestamp = {2024-04-09T08:59:02.000+0200}, title = {Game semantics for an object-oriented language.}, year = 2009 }