A Lightweight Technique for Distributed and Incremental Program Verification.
| Autor: | Brain, Martin, Schanda, Florian |
|---|---|
| Zdroj: | Verified Software: Theories, Tools, Experiments (9783642277047); 2012, p114-129, 16p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|