Mathematical logic applied to the semantics of computer programs

Edward A. Ashcroft. Mathematical logic applied to the semantics of computer programs. PhD thesis, Imperial College London, UK, 1970. [doi]

No reviews for this publication, yet.