Automatic Abstraction for Congruences Full Written Papers Refereed uri icon

Overview

Time

Date/time value

  • 2010

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

Volume

  • 5944

Publisher

  • Springer Verlag