History-based verification of functional behaviour of concurrent programs. Blom, S., Huisman, M., & Zaharieva-Stojanovski, M. In SEFM, 2015. ![History-based verification of functional behaviour of concurrent programs [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex 1 download @inproceedings{BlomHZ15,
Author = {Blom, S. and Huisman, M. and Zaharieva-Stojanovski, M.},
Booktitle = SEFM,
Title = {History-based verification of functional behaviour of concurrent programs},
Year = {2015},
url = {https://link.springer.com/chapter/10.1007/978-3-319-22969-0_6}
}
Downloads: 1
{"_id":"T8dk4mhEwJhBvnofY","bibbaseid":"blom-huisman-zaharievastojanovski-historybasedverificationoffunctionalbehaviourofconcurrentprograms-2015","authorIDs":["5d14be645b939dee01000058"],"author_short":["Blom, S.","Huisman, M.","Zaharieva-Stojanovski, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Blom"],"firstnames":["S."],"suffixes":[]},{"propositions":[],"lastnames":["Huisman"],"firstnames":["M."],"suffixes":[]},{"propositions":[],"lastnames":["Zaharieva-Stojanovski"],"firstnames":["M."],"suffixes":[]}],"booktitle":"SEFM","title":"History-based verification of functional behaviour of concurrent programs","year":"2015","url":"https://link.springer.com/chapter/10.1007/978-3-319-22969-0_6","bibtex":"@inproceedings{BlomHZ15,\n Author = {Blom, S. and Huisman, M. and Zaharieva-Stojanovski, M.},\n Booktitle = SEFM,\n Title = {History-based verification of functional behaviour of concurrent programs},\n Year = {2015},\n url = {https://link.springer.com/chapter/10.1007/978-3-319-22969-0_6}\n}\n\n","author_short":["Blom, S.","Huisman, M.","Zaharieva-Stojanovski, M."],"key":"BlomHZ15","id":"BlomHZ15","bibbaseid":"blom-huisman-zaharievastojanovski-historybasedverificationoffunctionalbehaviourofconcurrentprograms-2015","role":"author","urls":{"Paper":"https://link.springer.com/chapter/10.1007/978-3-319-22969-0_6"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","creationDate":"2019-06-27T13:02:29.123Z","downloads":1,"keywords":[],"search_terms":["history","based","verification","functional","behaviour","concurrent","programs","blom","huisman","zaharieva-stojanovski"],"title":"History-based verification of functional behaviour of concurrent programs","year":2015,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}