A System for Reasoning about Relational Specifications

1 min read Original article ↗
Return to Article Details Abella: A System for Reasoning about Relational Specifications Download Download PDF