VerCors: A Layered Approach to Practical Verification of Concurrent Software.
| Autor: | Amighi, Afshin, Blom, Stefan, Huisman, Marieke |
|---|---|
| Zdroj: | 2016 24th Euromicro International Conference on Parallel, Distributed & Network-Based Processing (PDP); 2016, p495-503, 9p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|