Skip to main content
Open Access Publications from the University of California
Search eScholarship
Refine Search
All of eScholarship
This Series
UC Berkeley
UC Berkeley
Deposit
Manage
Submissions
Menu
About eScholarship
UC Open Access Policies
Journals
Academic Units
eScholarship
UC Berkeley
UC Berkeley Previously Published Works
This item is not available for download from eScholarship
Share
Email
Facebook
Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351).
2014
Kroening, Daniel
;
Reps, Thomas W
;
Seshia, Sanjit A
;
Thakur, Aditya V
Published Web Location
http://dx.doi.org/10.4230/DagRep.4.8.89
No data is associated with this publication.
...
Main Content
Metrics
Author & Article Info
View on External Site
Item not freely available? Link broken?
Report a problem accessing this item
Top
