@phdthesis{Zaharieva15,
    Author = {M. Zaharieva-Stojanovski},
    Doi = {10.3990/1.9789036539241},
    Number = {15-375},
    School = {University of Twente},
    Series = {CTIT Ph.D. Thesis Series},
    Title = {{Closer to Reliable Software: Verifying Functional Behaviour of Concurrent Programs}},
    Year = {2015},
    url     = {https://research.utwente.nl/en/publications/closer-to-reliable-software-verifying-functional-behaviour-of-con},
    Bdsk-Url-1 = {https://doi.org/10.3990/1.9789036539241}
}

{"_id":"z8JntKrcSvhEArWGb","bibbaseid":"zaharievastojanovski-closertoreliablesoftwareverifyingfunctionalbehaviourofconcurrentprograms-2015","authorIDs":[],"author_short":["Zaharieva-Stojanovski, M."],"bibdata":{"bibtype":"phdthesis","type":"phdthesis","author":[{"firstnames":["M."],"propositions":[],"lastnames":["Zaharieva-Stojanovski"],"suffixes":[]}],"doi":"10.3990/1.9789036539241","number":"15-375","school":"University of Twente","series":"CTIT Ph.D. Thesis Series","title":"Closer to Reliable Software: Verifying Functional Behaviour of Concurrent Programs","year":"2015","url":"https://research.utwente.nl/en/publications/closer-to-reliable-software-verifying-functional-behaviour-of-con","bdsk-url-1":"https://doi.org/10.3990/1.9789036539241","bibtex":"@phdthesis{Zaharieva15,\n Author = {M. Zaharieva-Stojanovski},\n Doi = {10.3990/1.9789036539241},\n Number = {15-375},\n School = {University of Twente},\n Series = {CTIT Ph.D. Thesis Series},\n Title = {{Closer to Reliable Software: Verifying Functional Behaviour of Concurrent Programs}},\n Year = {2015},\n url = {https://research.utwente.nl/en/publications/closer-to-reliable-software-verifying-functional-behaviour-of-con},\n Bdsk-Url-1 = {https://doi.org/10.3990/1.9789036539241}\n}\n \n","author_short":["Zaharieva-Stojanovski, M."],"key":"Zaharieva15","id":"Zaharieva15","bibbaseid":"zaharievastojanovski-closertoreliablesoftwareverifyingfunctionalbehaviourofconcurrentprograms-2015","role":"author","urls":{"Paper":"https://research.utwente.nl/en/publications/closer-to-reliable-software-verifying-functional-behaviour-of-con"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"phdthesis","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","creationDate":"2019-07-02T12:17:56.624Z","downloads":1,"keywords":[],"search_terms":["closer","reliable","software","verifying","functional","behaviour","concurrent","programs","zaharieva-stojanovski"],"title":"Closer to Reliable Software: Verifying Functional Behaviour of Concurrent Programs","year":2015,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}