Checking Relational Specifications With Binary Decision Diagrams

Craig Damon, Daniel Jackson, Somesh Jha. Checking Relational Specifications With Binary Decision Diagrams. In SIGSOFT FSE. pages 70-80, 1996. [doi]

Abstract

Abstract is missing.