Search
Search Constraints
You searched for: Date 2016 Subject Computer programs -- Verification- Arbel, Eli 1
- Beek, Maurice H. ter 1
- Bloem, Roderick P 1
- Gnesi, Stefania, 1954- 1
- International Haifa Verification Conference, 12th 1
- International Workshop on Automated Verification of Critical Systems, 16th 1
- International Workshop on Formal Methods for Industrial Critical Systems, 21st 1
- Knapp, Alexander, 1971- 1
- Computer programs -- Verification [remove] 2