Abella: A System for Reasoning about Relational Specifications (2014)jfr.unibo.it1 point·jnash··0 commentsOpen articleSaveView on HN