Thesis Defense: Incremental Validation of Formal Specifications Paul Corwin May 12, 2009.
Thesis Defense: Incremental Validation of Formal Specifications