The Role of Formal Techniques: Past‚ Current and Future or How Did Software Get so Reliable without Proof? (Extended Abstract)
| Main Author: | |
|---|---|
| Format: | Conference item |
| Published: |
IEEE
1996
|
| Main Author: | |
|---|---|
| Format: | Conference item |
| Published: |
IEEE
1996
|