You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output.
Click here to find out more.
Chapter title |
VeriAbs: Verification by Abstraction and Test Generation
|
---|---|
Chapter number | 32 |
Book title |
Tools and Algorithms for the Construction and Analysis of Systems
|
Published by |
Springer, Cham, April 2018
|
DOI | 10.1007/978-3-319-89963-3_32 |
Book ISBNs |
978-3-31-989962-6, 978-3-31-989963-3
|
Authors |
Priyanka Darke, Sumanth Prabhu, Bharti Chimdyalwar, Avriti Chauhan, Shrawan Kumar, Animesh Basakchowdhury, R. Venkatesh, Advaita Datar, Raveendra Kumar Medicherla, Darke, Priyanka, Prabhu, Sumanth, Chimdyalwar, Bharti, Chauhan, Avriti, Kumar, Shrawan, Basakchowdhury, Animesh, Venkatesh, R., Datar, Advaita, Medicherla, Raveendra Kumar |