ISBN 3319737201 books & textbook

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, ... Computer Science and General Issues)

Dillig, Isil Palsberg, Jens

Springer /2018-01-10 Paperback / 558 Pages
isbn-10: 3319737201 / isbn-13: 9783319737201