PrologCheck – Property-Based Testing in Prolog
| Title | PrologCheck – Property-Based Testing in Prolog |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Cláudio Amaral and Mário Florido and Vítor Santos Costa |
| Conference Name | 12th International Symposium on Functional and Logic Programming (FLOPS 2014) |
| Month of Publish | June |
| Publisher | Springer - LNCS |
| Conference Location | Kanazawa, Japan |
| DOI | 10.1007/978-3-319-07151-0_1 |