Advances in Property-Based Testing for $$\alpha $$ Prolog

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-319-41135-4_3 ◽

2016 ◽

pp. 37-56 ◽

Cited By ~ 1

Author(s):

James Cheney ◽

Alberto Momigliano ◽

Matteo Pessina

Download Full-text