Report copyright - Abella: A System for Reasoning about Relational Speci cations · Abella: A System for Reasoning about Relational Speci cations 5 At the outset of this tutorial, we shall assume that
Please pass captcha verification before submit form