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