DMCA

A decision procedure for (co)datatypes in SMT solvers (2015)

by Andrew Reynolds , Jasmin Christian Blanchette , In Memoriam Morgan Deters
Citations:1 - 1 self