Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

Thông tin tác giả: D'Souza, Deepak, Lal, Akash, Larsen, Kim Gulstrand
Thông tin xuất bản: Springer 2015