@article{BlomHM14,
    Author      = {S. Blom and M. Huisman and M. Mihel\v{c}i\'{c}},
    Issn        = {0167-6423},
    Issue       = {part 3},
    Journal     = scp,
    Pages       = {376--388},
    Publisher   = elsevier,
    Title       = {{Specification and Verification of {GPGPU} Programs}},
    Volume      = 95,
    Year        = {2014},
    url         = {https://www.sciencedirect.com/science/article/pii/S0167642314001531}
}

{"_id":"yZ9LnsLPK3Hbp7mwo","bibbaseid":"blom-huisman-miheli-specificationandverificationofgpgpuprograms-2014","authorIDs":[],"author_short":["Blom, S.","Huisman, M.","Mihelčić, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["S."],"propositions":[],"lastnames":["Blom"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Huisman"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Mihelčić"],"suffixes":[]}],"issn":"0167-6423","issue":"part 3","journal":"scp","pages":"376–388","publisher":"elsevier","title":"Specification and Verification of GPGPU Programs","volume":"95","year":"2014","url":"https://www.sciencedirect.com/science/article/pii/S0167642314001531","bibtex":"@article{BlomHM14,\n Author = {S. Blom and M. Huisman and M. Mihel\\v{c}i\\'{c}},\n Issn = {0167-6423},\n Issue = {part 3},\n Journal = scp,\n Pages = {376--388},\n Publisher = elsevier,\n Title = {{Specification and Verification of {GPGPU} Programs}},\n Volume = 95,\n Year = {2014},\n url = {https://www.sciencedirect.com/science/article/pii/S0167642314001531}\n}\n\n","author_short":["Blom, S.","Huisman, M.","Mihelčić, M."],"key":"BlomHM14","id":"BlomHM14","bibbaseid":"blom-huisman-miheli-specificationandverificationofgpgpuprograms-2014","role":"author","urls":{"Paper":"https://www.sciencedirect.com/science/article/pii/S0167642314001531"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","creationDate":"2019-07-02T12:17:56.501Z","downloads":0,"keywords":[],"search_terms":["specification","verification","gpgpu","programs","blom","huisman","mihelčić"],"title":"Specification and Verification of GPGPU Programs","year":2014,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}