Automatic Abstraction for Congruences Full Written Papers Refereed uri icon

Overview

Published in

  • Lecture Notes in Computer Science

Time

Date/time value

  • 2010

Identity

Digital Object Identifier (DOI)

  • 10.1007/978-3-642-11319-2_16

International Standard Book Number (ISBN) 13

  • 978-3-642-11318-5

Additional Document Info

Parent Title

  • 11th International Conference Verification, Model Checking and Abstract Interpretation (VMCAI)
  • Lecture Notes in Computer Science: Verification, Model Checking and Abstract Interpretation 11th International Conference, VMCAI
  • Verification, Model Checking, and Abstract Interpretation (Lecture Notes in Computer Science 5944)

Volume

  • 5944

Publisher

  • Springer Verlag