Author books / Книги автора Deepak D’Souza K. Narayan Kumar (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Deepak D’Souza K. Narayan Kumar (eds.)

book Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

pdf

Author: Deepak D’Souza K. Narayan Kumar (eds.)
Language: English
Year: 2017

00

29.01.2024

0

0