Login / Signup
Matteo Pessina
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 2
Top Topics
Test Data
Global Consistency
Recent Advances
Logic Programming
Top Venues
CoRR
TAP@STAF
</>
Publications
</>
James Cheney
,
Alberto Momigliano
,
Matteo Pessina
Advances in Property-Based Testing for \alpha Prolog.
TAP@STAF
(2016)
James Cheney
,
Alberto Momigliano
,
Matteo Pessina
Advances in Property-Based Testing for $α$Prolog.
CoRR
(2016)