View of Abella: A System for Reasoning about Relational Specifications

Return to Article Details Abella: A System for Reasoning about Relational Specifications Download Download PDF