Home › Publications › Publications by Year

CRACS Publicatons

Export 1 results:
Sort by: Author Title [ Year (Desc)]
Filters: Author is Cláudio Amaral  [Clear All Filters]
2014
Cláudio Amaral and Mário Florido and Vítor Santos Costa "PrologCheck – Property-Based Testing in Prolog", in "12th International Symposium on Functional and Logic Programming (FLOPS 2014)" , Springer - LNCS, vol. 8475, pp.1–17, June 2014.