Sriram Sankaranarayanan 0001. Mathematical analysis of programs. PhD thesis, Stanford University, USA, 2005. [doi]
@phdthesis{us-5874, title = {Mathematical analysis of programs}, author = {Sriram Sankaranarayanan 0001}, year = {2005}, url = {https://searchworks.stanford.edu/view/6212279}, researchr = {https://researchr.org/publication/us-5874}, cites = {0}, citedby = {0}, school = {Stanford University, USA}, }