Published in
Springer Verlag, Lecture Notes in Computer Science, p. 159-176, 2020
DOI: 10.1007/978-3-030-45260-5_10
Links
Tools
An Integrated Approach to Assertion-Based Random Testing in Prolog
Book chapter published in 2020 by
Ignacio Casso 
,
José F. Morales ,
Pedro López-García ,
Manuel V. Hermenegildo
,
José F. Morales ,
Pedro López-García ,
Manuel V. Hermenegildo
This paper was not found in any repository, but could be made available legally by the author.
Full text: Unavailable
Published version:
archiving forbidden
Data provided by 