Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings: 10145 (Lecture Notes in Computer Science)

by Ahmed Bouajjani (Editor), David Monniaux (Editor)

• New

  Paperback
  2017

  $82.02

  VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.