Incorrectness logic
Peter W. O'Hearn[doi] [Google Scholar] [DBLP] [Citeseer] [url]
Proc. ACM Program. Lang.
4(POPL)
Association for Computing Machinery
New York, NY, USA
December 2019
Note(s): under-approximation
Papers: godefroid:bugs:2005
Association for Computing Machinery
New York, NY, USA
December 2019
Note(s): under-approximation
Papers: godefroid:bugs:2005