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