Effect Analysis for Programs with Callbacks

Citation

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.

BibTex Entry

@inproceedings{KneussETAL13EffectAnalysisProgramsCallbacks,
  author = {Etienne Kneuss and Viktor Kuncak and Philippe Suter},
  title = {Effect Analysis for Programs with Callbacks},
  booktitle = {Fifth Working Conference on Verified Software: Theories, Tools and Experiments},
  year = 2013
}