Automating Modular Program Verification by Refining Specifications

Search

Authors:

Mana Taghdiri

Publication Venue:

MIT PhD Thesis

When Published:

Feb 1 2008

Attachment	Size
mana_thesis.pdf	1.01 MB

by anonymous

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte