Verification, Model Checking, and Abstract Interpretation
详细信息 查看全文
- ContentType：Book
- DOI：10.1007/978-3-642-18275-4
- Publisher：Springer Berlin / Heidelberg
- Author ：Ranjit Jhala ; David Schmidt
- PrintIssn_Isbn：978-3-642-18274-7
- SubjectCategory：Computer Science
- Copyright：2011
- SeriesParentPublication：Lecture Notes in Computer Science
- Subtitle：12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings
- Volume：6538