@inproceedings{SmythPSK+22,
  title = {{Executable Documentation: Test-First in Action}},
  author = {Smyth, Steven and Petzold, Jette and Sch{\"u}rmann, Jonas and Karbus, Florian and Margaria, Tiziana and von Hanxleden, Reinhard and Steffen, Bernhard},
  booktitle = {International Symposium on Leveraging Applications of Formal Methods},
  pages = {135--156},
  year = {2022},
  organization = {Springer},
}