Advanced Search
DSpace@MIT

Verification of full functional correctness for imperative linked data structures

Research and Teaching Output of the MIT Community

Files in this item

Name Size Format Description
635496542.pdf 21.47Mb PDF Preview, non-printable (open to all)
635496542-MIT.pdf 21.47Mb PDF Full printable version (MIT only)

This item appears in the following Collection(s)

MIT-Mirage