Abstract: Experience with Practical Formal Verification at an Industrial Scale
| Main Author: | |
|---|---|
| Format: | Conference item |
| Published: |
Department of Computer Science‚ University of Liverpool
2003
|
| Main Author: | |
|---|---|
| Format: | Conference item |
| Published: |
Department of Computer Science‚ University of Liverpool
2003
|