Exploiting replication in automated program verification

Exploiting replication in automated program verification

Not available

Bibliographic Details
Main Author: Wahl, Thomas, 1973-
Other Authors: Emerson, E. Allen
Format: Others
Language:English
Published: 2008
Subjects:
Computer software > Verification
Formal methods (Computer science)
Online Access:http://hdl.handle.net/2152/3338

Internet

http://hdl.handle.net/2152/3338

Similar Items