Leveraging Formal Verification Throughout the Entire Design Cycle

conference presentation

2012

Name

12-Jasper-Barbara-Jobstmann-Speaker.pdf

Type

Preprint

Version

http://purl.org/coar/version/c_71e4c1898caa6e32

Access type

openaccess

License Condition

CC BY-NC-ND

Size

1.41 MB

Format

Adobe PDF

Checksum (MD5)

982e72e9c79f0599f5f95bd32688e851