Skip to main content
eScholarship
Open Access Publications from the University of California

Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351).

  • Author(s): Kroening, D
  • Reps, TW
  • Seshia, SA
  • Thakur, AV
  • et al.

Published Web Location

http://dx.doi.org/10.4230/DagRep.4.8.89
No data is associated with this publication.
Item not freely available? Link broken?
Report a problem accessing this item