Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.5555/2735050guideproceedingsBook PagePublication PagesConference Proceedingsacm-pubtype
Proceedings of the 16th International Conference on Computer Aided Verification - Volume 8559
2014 Proceeding
  • Editors:
  • Armin Biere,
  • Roderick Bloem
Publisher:
  • Springer-Verlag
  • Berlin, Heidelberg
Conference:
July 18 - 22, 2014
ISBN:
978-3-319-08866-2
Published:
18 July 2014

Reflects downloads up to 21 Sep 2024Bibliometrics
Contributors
  • University of Freiburg
  • Graz University of Technology

Recommendations