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

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

book Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

pdf

Author: David L. Dill (auth.) Ranjit Jhala David Schmidt (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0