@inproceedings{DBLP:conf/fase/Zaharieva-StojanovskiH14,
  author    = {Marina Zaharieva{-}Stojanovski and
               Marieke Huisman},
  title     = {Verifying Class Invariants in Concurrent Programs},
  booktitle = {{FASE}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8411},
  pages     = {230--245},
  publisher = {Springer},
  year      = {2014},
  url       = {https://link.springer.com/chapter/10.1007/978-3-642-54804-8_16}
}

{"_id":"aRobSveezfNFy64pv","bibbaseid":"zaharievastojanovski-huisman-verifyingclassinvariantsinconcurrentprograms-2014","authorIDs":["5d14be645b939dee01000058"],"author_short":["Zaharieva-Stojanovski, M.","Huisman, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Marina"],"propositions":[],"lastnames":["Zaharieva-Stojanovski"],"suffixes":[]},{"firstnames":["Marieke"],"propositions":[],"lastnames":["Huisman"],"suffixes":[]}],"title":"Verifying Class Invariants in Concurrent Programs","booktitle":"FASE","series":"Lecture Notes in Computer Science","volume":"8411","pages":"230–245","publisher":"Springer","year":"2014","url":"https://link.springer.com/chapter/10.1007/978-3-642-54804-8_16","bibtex":"@inproceedings{DBLP:conf/fase/Zaharieva-StojanovskiH14,\n author = {Marina Zaharieva{-}Stojanovski and\n Marieke Huisman},\n title = {Verifying Class Invariants in Concurrent Programs},\n booktitle = {{FASE}},\n series = {Lecture Notes in Computer Science},\n volume = {8411},\n pages = {230--245},\n publisher = {Springer},\n year = {2014},\n url = {https://link.springer.com/chapter/10.1007/978-3-642-54804-8_16}\n}\n\n","author_short":["Zaharieva-Stojanovski, M.","Huisman, M."],"key":"DBLP:conf/fase/Zaharieva-StojanovskiH14","id":"DBLP:conf/fase/Zaharieva-StojanovskiH14","bibbaseid":"zaharievastojanovski-huisman-verifyingclassinvariantsinconcurrentprograms-2014","role":"author","urls":{"Paper":"https://link.springer.com/chapter/10.1007/978-3-642-54804-8_16"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","creationDate":"2019-06-27T13:02:29.084Z","downloads":0,"keywords":[],"search_terms":["verifying","class","invariants","concurrent","programs","zaharieva-stojanovski","huisman"],"title":"Verifying Class Invariants in Concurrent Programs","year":2014,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}