Verification, model checking, and abstract interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings

Author：edited by Ranjit Jhala, David Schmidt.
Publisher：Springer Berlin Heidelberg
ISBN：9783642182754 (electronic bk.) ; 9783642182747 (paper)
Publication Date：2011
其他作者：Jhala, Ranjit. ; Schmidt, David.
語言：zh
出版地：Berlin, Heidelberg :
Description

xi, 418 p. ::ill., digital ;:24 cm.

Search Same Author