Prolog for Verification, Analysis and Transformation Tools Michael Leuschel [pdf] (arxiv.org) 1 points by jnpnj 3mo ago ↗ HN
0 comments
[ 3.1 ms ] story [ 10.7 ms ] threadNo comments yet.