% Encoding: UTF-8

@InProceedings{FiatMonitors+SETTA2018,
  Title                    = {Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement},
  Author                   = {Zhang, Teng and Wiegley, John and Giannakopoulos, Theophilos and Eakman, Gregory and Pit-Claudel, Clément and Lee, Insup and Sokolsky, Oleg},
  Booktitle                = {Proceedings of the 4th International Symposium Dependable Software Engineering: Theories, Tools, and Applications - {SETTA} '18},
  Year                     = {2018},
  Editor                   = {Feng, Xinyu and Müller-Olm, Markus and Yang, Zijiang},
  Pages                    = {31-49},
  Publisher                = {Springer International Publishing},

  ISBN                     = {978-3-319-99933-3},
  Doi                      = {10.1007/978-3-319-99933-3_3},
  Url                      = {https://pit-claudel.fr/clement/papers/monitors-SETTA18.pdf}
}