%0 Thesis %1 phd/ethos/AbouSaleh14 %A Abou-Saleh, Faris %D 2014 %K dblp %T A coalgebraic semantics for imperative programming languages.

@phdthesis{phd/ethos/AbouSaleh14, added-at = {2022-05-04T00:00:00.000+0200}, author = {Abou-Saleh, Faris}, biburl = {https://www.bibsonomy.org/bibtex/215c22c94284ef2164e347d4ab0bacfcf/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.602297}, interhash = {bf061a86307db2546c885e92d6683d22}, intrahash = {15c22c94284ef2164e347d4ab0bacfcf}, keywords = {dblp}, note = {British Library, EThOS}, school = {Imperial College London, UK}, timestamp = {2024-04-09T08:47:10.000+0200}, title = {A coalgebraic semantics for imperative programming languages.}, year = 2014 }