For Publishers
DiscoveryMetadataPeer reviewHostingPublishing
For Researchers
JoinPublishReviewCollect
Register
Blog
About
Search
Advanced search
My ScienceOpen
Search
For Publishers
For Researchers
Blog
About
12
views
0
references
 Top references
cited by
0
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
1 collections
    0
    shares
      2,744
      similar
       All similar
      • Record: found
      • Abstract: found
      • Book: found

      Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings

      other
      Editor(s): ,
      Publication date (Print):
      Publisher: Springer International Publishing

      Read this book at

      Publisher
      Buy book
      Bookmark
          There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Author and book information

          Contributors
          Bernd Finkbeiner: (View ORCID Profile)
          Thomas Wies: (View ORCID Profile)
          Book
          ISBN (Print): 978-3-030-94582-4
          ISBN (Electronic): 978-3-030-94583-1
          Publication date (Print): 2022
          DOI: 10.1007/978-3-030-94583-1
          SO-VID: 31defc78-2630-4f3f-871e-f898cfaf6e1b
          History

          Data availability:

          Comments

          Comment on this book

          Book chapters

          Similar content2,744

          See all similar