Book serie: / Книги серии: Lecture Notes in Computer Science 9583 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 9583

book Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

pdf

Author: Barbara Jobstmann K. Rustan M. Leino (eds.)
Language: English
Year: 2016

00

27.01.2024

0

0