Mana Taghdiri. Automating modular program verification by refining specifications. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, USA, 2008. [doi]
@phdthesis{ndltd-1977,
title = {Automating modular program verification by refining specifications},
author = {Mana Taghdiri},
year = {2008},
url = {http://hdl.handle.net/1721.1/43055},
note = {ndltd.org (oai:dspace.mit.edu:1721.1/43055)},
researchr = {https://researchr.org/publication/ndltd-1977},
cites = {0},
citedby = {0},
school = {Massachusetts Institute of Technology, Cambridge, MA, USA},
}