DMCA

A Decision Procedure for an Extensional Theory of Arrays (2001)

by Aaron Stump , Clark W. Barrett , David L. Dill
Venue:In 16th IEEE Symposium on Logic in Computer Science
Citations:84 - 15 self