Context

Context of Automated technology for verification and analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, edited by Deepak D'Souza, K. Narayan Kumar, (electronic book)
Processing Feedback ...