Skip to content

PrologCheck - Property-Based Testing in Prolog.

Cludio Amaral, Mrio Florido, Vtor Santos Costa

Year2014
ProceedingsFLOPS

Browse the full FLOPS paper archive.