Towards Automated Bounded Model Checking of API ImplementationsDownload PDF

Daniel Neville, Andrew J. Malton, Martin Brain, Daniel Kroening

Published: 2016, Last Modified: 05 Nov 2023CSTVA@ISSTA 2016Readers: Everyone
0 Replies