Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings (Lecture Notes in Computer Science (11990))

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings (Lecture Notes in Computer Science (11990))

  • $89.99
    Unit price per 


  • Binding: Paperback (485 pages)
  • Publisher: Springer (February 7, 2020)
  • Author: NULL
  • ISBN-10: 3030393216
  • ISBN-13: 9783030393212