Foundational Property-Based Testing.
| Autor: | Paraskevopoulou, Zoe, Hriţcu, Cătălin, Dénès, Maxime, Lampropoulos, Leonidas, Pierce, Benjamin C. |
|---|---|
| Zdroj: | Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings; 2015, p325-343, 19p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|