Return to search

Exploiting replication in automated program verification

Not available

Identiferoai:union.ndltd.org:UTEXAS/oai:repositories.lib.utexas.edu:2152/3338
Date28 August 2008
CreatorsWahl, Thomas, 1973-
ContributorsEmerson, E. Allen
Source SetsUniversity of Texas
LanguageEnglish
Detected LanguageEnglish
TypeThesis
Formatelectronic
RightsCopyright © is held by the author. Presentation of this material on the Libraries' web site by University Libraries, The University of Texas at Austin was made possible under a limited license grant from the author who has retained all copyrights in the works.

Page generated in 0.0017 seconds