Declarative Symbolic Pure Logic Model Checking

Search

Authors:

Ilya Shlyakhter

Publication Venue:

MIT PhD Thesis

When Published:

Feb 1 2005

Attachment	Size
shlyakhter-phd-thesis.pdf	2.23 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