Automated technology for verification and analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, proceedings /

Corporate Authors: ATVA Symposium Pune, India
Group Author: D'Souza, Deepak; Narayan Kumar, K
Published: Springer,
Publication Dates: [2017]
Call Number: TP301.6-532/A939/2017