Etienne Kneuss, Viktor Kuncak, and Philippe Suter. Effect analysis for programs with callbacks. In Fifth Working Conference on Verified Software: Theories, Tools and Experiments, 2013.

[ bib ] Back