Prolog for Verification, Analysis and Transformation Tools Michael Leuschel [pdf](arxiv.org)1 points by jnpnj 12 days ago | 0 commentsNo comments yet