author = { D'Souza, Deepak AND Narayan Kumar, K. },

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

publisher = {Springer},

isbn = {9783319681672},

keywords = { Computer organization , Programming languages (Electronic computers) , Computer Science , Computer science , Software engineering , Computers , Computer networks . , Computer engineering. , Compilers (Computer programs). , Artificial intelligence. , Formale Methode , Verifikation , Systementwurf , Systemanalyse , Systemsynthese , CASHE },

year = {2017},

booktitle = {Lecture Notes in Computer Science ; 10482},

booktitle = {SpringerLink ; Bücher},

booktitle = {Springer eBook Collection ; Computer Science},

address = { Cham },

url = { http://slubdd.de/katalog?TN_libero_mab2 }