Advanced formal verification /
16
| Main Author: | |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Dordrecht : Kluwer Academic Publishers,
2004
|
| Subjects: |
16
| Main Author: | |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Dordrecht : Kluwer Academic Publishers,
2004
|
| Subjects: |