@inproceedings{74,
  author = {Rance Cleaveland},
  title = {Programming is modeling},
  year = {2018},
  journal = {International Symposium on Leveraging Applications of Formal Methods},
  publisher = {Springer, Cham},
  language = {eng},
}