Skip to content

Advances in Property-Based Testing for \alpha Prolog.

James Cheney, Alberto Momigliano, Matteo Pessina

VenueCTAP
Year2016
ProceedingsTAP@STAF

Browse the full TAP paper archive.