@inproceedings{DBLP:conf/isola/HuismanBDS18,
  author    = {Marieke Huisman and Stefan Blom and Saeed Darabi and Mohsen Safari},
  title     = {Program Correctness by Transformation},
  booktitle = {ISoLA {(1)}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11244},
  pages     = {365--380},
  publisher = {Springer},
  year      = {2018},
  url       = {https://link.springer.com/chapter/10.1007/978-3-030-03418-4_22}
}

{"_id":"88Atd6wbNHP9wHcL6","bibbaseid":"huisman-blom-darabi-safari-programcorrectnessbytransformation-2018","authorIDs":["5d14be645b939dee01000058"],"author_short":["Huisman, M.","Blom, S.","Darabi, S.","Safari, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Marieke"],"propositions":[],"lastnames":["Huisman"],"suffixes":[]},{"firstnames":["Stefan"],"propositions":[],"lastnames":["Blom"],"suffixes":[]},{"firstnames":["Saeed"],"propositions":[],"lastnames":["Darabi"],"suffixes":[]},{"firstnames":["Mohsen"],"propositions":[],"lastnames":["Safari"],"suffixes":[]}],"title":"Program Correctness by Transformation","booktitle":"ISoLA (1)","series":"Lecture Notes in Computer Science","volume":"11244","pages":"365–380","publisher":"Springer","year":"2018","url":"https://link.springer.com/chapter/10.1007/978-3-030-03418-4_22","bibtex":"@inproceedings{DBLP:conf/isola/HuismanBDS18,\n author = {Marieke Huisman and Stefan Blom and Saeed Darabi and Mohsen Safari},\n title = {Program Correctness by Transformation},\n booktitle = {ISoLA {(1)}},\n series = {Lecture Notes in Computer Science},\n volume = {11244},\n pages = {365--380},\n publisher = {Springer},\n year = {2018},\n url = {https://link.springer.com/chapter/10.1007/978-3-030-03418-4_22}\n}\n\n","author_short":["Huisman, M.","Blom, S.","Darabi, S.","Safari, M."],"key":"DBLP:conf/isola/HuismanBDS18","id":"DBLP:conf/isola/HuismanBDS18","bibbaseid":"huisman-blom-darabi-safari-programcorrectnessbytransformation-2018","role":"author","urls":{"Paper":"https://link.springer.com/chapter/10.1007/978-3-030-03418-4_22"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","creationDate":"2019-06-27T13:02:29.065Z","downloads":0,"keywords":[],"search_terms":["program","correctness","transformation","huisman","blom","darabi","safari"],"title":"Program Correctness by Transformation","year":2018,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}