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

No comments yet.