@inbook{3536,
  author       = {{Schellhorn, Gerhard and Wedel, Monika and Travkin, Oleg and König, Jürgen and Wehrheim, Heike}},
  booktitle    = {{Software Engineering and Formal Methods}},
  isbn         = {{9783319929699}},
  issn         = {{0302-9743}},
  pages        = {{105--120}},
  publisher    = {{Springer International Publishing}},
  title        = {{{FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity}}},
  doi          = {{10.1007/978-3-319-92970-5_7}},
  year         = {{2018}},
}