Exploiting replication in automated program verification

Show full item record

Title: Exploiting replication in automated program verification
Author: Wahl, Thomas, 1973-
Abstract: Not available
URI: http : / /hdl .handle .net /2152 /3338
Date: 2008-08-28

Citation

Exploiting replication in automated program verification. Doctoral dissertation, The University of Texas at Austin. Available electronically from http : / /hdl .handle .net /2152 /3338 .

Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show full item record

Search DSpace

Advanced Search

Browse