The Role of Formal Techniques: Past, Current and Future or How Did Software Get so Reliable without Proof? (Extended Abstract).
Conferences
- Overview
- Identity
- Additional Document Info
- View All