Automatic structural abstraction techniques for enhanced verification

Not available === text

Bibliographic Details
Main Author: Baumgartner, Jason Raymond
Format: Others
Language:English
Published: 2011
Subjects:
Online Access:http://hdl.handle.net/2152/11263