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

(arxiv.org) by jnpnj | Aug 4, 2026 | 0 comments on HN