Applied formal verification /
16
| Main Authors: | , |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
New York : McGraw-Hill,
2005
|
| Subjects: |
16
| Main Authors: | , |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
New York : McGraw-Hill,
2005
|
| Subjects: |