Prolog for Verification, Analysis and Transformation Tools Michael Leuschel [pdf]

1 pointsposted 4 hours ago
by jnpnj
(arxiv.org)

No comments yet