@inproceedings{Bliudze2023,
AUTHOR = {Bliudze, Simon and van den Bos, Petra and Huisman, Marieke and Rubbens, Robert and Safina, Larisa},
TITLE = {{JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java}},
URL = {https://hal.inria.fr/hal-03911393},
BOOKTITLE = {{26th International Conference on Fundamental Approaches to Software Engineering}},
address="Cham",
YEAR = {2023},
MONTH = Apr,
url={https://hal.inria.fr/hal-03911393/file/javabip-meets-vercors-submitted-draft-2022-10-21.pdf}
}

{"_id":"yXWaATHostrbkqowD","bibbaseid":"bliudze-vandenbos-huisman-rubbens-safina-javabipmeetsvercorstowardsthesafetyofconcurrentsoftwaresystemsinjava-2023","author_short":["Bliudze, S.","van den Bos, P.","Huisman, M.","Rubbens, R.","Safina, L."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Bliudze"],"firstnames":["Simon"],"suffixes":[]},{"propositions":["van","den"],"lastnames":["Bos"],"firstnames":["Petra"],"suffixes":[]},{"propositions":[],"lastnames":["Huisman"],"firstnames":["Marieke"],"suffixes":[]},{"propositions":[],"lastnames":["Rubbens"],"firstnames":["Robert"],"suffixes":[]},{"propositions":[],"lastnames":["Safina"],"firstnames":["Larisa"],"suffixes":[]}],"title":"JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java","url":"https://hal.inria.fr/hal-03911393/file/javabip-meets-vercors-submitted-draft-2022-10-21.pdf","booktitle":"26th International Conference on Fundamental Approaches to Software Engineering","address":"Cham","year":"2023","month":"April","bibtex":"@inproceedings{Bliudze2023,\nAUTHOR = {Bliudze, Simon and van den Bos, Petra and Huisman, Marieke and Rubbens, Robert and Safina, Larisa},\nTITLE = {{JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java}},\nURL = {https://hal.inria.fr/hal-03911393},\nBOOKTITLE = {{26th International Conference on Fundamental Approaches to Software Engineering}},\naddress=\"Cham\",\nYEAR = {2023},\nMONTH = Apr,\nurl={https://hal.inria.fr/hal-03911393/file/javabip-meets-vercors-submitted-draft-2022-10-21.pdf}\n}\n\n","author_short":["Bliudze, S.","van den Bos, P.","Huisman, M.","Rubbens, R.","Safina, L."],"key":"Bliudze2023","id":"Bliudze2023","bibbaseid":"bliudze-vandenbos-huisman-rubbens-safina-javabipmeetsvercorstowardsthesafetyofconcurrentsoftwaresystemsinjava-2023","role":"author","urls":{"Paper":"https://hal.inria.fr/hal-03911393/file/javabip-meets-vercors-submitted-draft-2022-10-21.pdf"},"metadata":{"authorlinks":{}},"downloads":5,"html":""},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","dataSources":["cCvCnPTRQYq3qPe9y"],"keywords":[],"search_terms":["javabip","meets","vercors","towards","safety","concurrent","software","systems","java","bliudze","van den bos","huisman","rubbens","safina"],"title":"JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java","year":2023,"downloads":5}