VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution)

por Afzal, Mohammad, Chakraborty, Supratik, Chauhan, Avriti, Chimdyalwar, Bharti, Darke, Priyanka, Gupta, Ashutosh, Kumar, Shrawan, Babu M, Charles, Unadkat, Divyesh, Venkatesh, R
Publicado 2020