K. Narayan Kumar

TitelISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings978-3-319-68166-5
(3-319-68166-4)
2017Deepak D'Souza

K.k. · K. Kumar · K Narayan · N K · N. Kumar

K. Narayanan