% Encoding: UTF-8

@InCollection{DafnyTriggers+CAV2016,
  Title                    = {Trigger Selection Strategies to Stabilize Program Verifiers},
  Author                   = {Leino, K. Rustan M. and Pit-Claudel, Clément},
  Booktitle                = {Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I},
  Publisher                = {Springer International Publishing},
  Editor                   = {Swarat Chaudhuri and Azadeh Farzan},
  Year                     = {2016},
  Month                    = {July},
  Pages                    = {361-381},
  Series                   = {Lecture Notes in Computer Science},
  Volume                   = {9779},
  Doi                      = {10.1007/978-3-319-41528-4_20},
  ISBN                     = {978-3-319-41528-4},
  Url                      = {https://pit-claudel.fr/clement/papers/dafny-trigger-selection-CAV16.pdf}
}