Software that Meets Its Intent

Marieke Huisman, Herbert Bos, Sjaak Brinkkemper, Arie van Deursen, Jan Friso Groote, Patricia Lago, Jaco van de Pol, Eelco Visser. Software that Meets Its Intent. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II. Volume 9953 of Lecture Notes in Computer Science, pages 609-625, 2016. [doi]

@inproceedings{HuismanBBDGLPV16,
  title = {Software that Meets Its Intent},
  author = {Marieke Huisman and Herbert Bos and Sjaak Brinkkemper and Arie van Deursen and Jan Friso Groote and Patricia Lago and Jaco van de Pol and Eelco Visser},
  year = {2016},
  doi = {http://dx.doi.org/10.1007/978-3-319-47169-3_47},
  researchr = {https://researchr.org/publication/HuismanBBDGLPV16},
  cites = {0},
  citedby = {0},
  pages = {609-625},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II},
  editor = {Tiziana Margaria and Bernhard Steffen},
  volume = {9953},
  series = {Lecture Notes in Computer Science},
  isbn = {978-3-319-47168-6},
}