On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage. Mota, J., Giunti, M., & Ravara, A. In Ali, K. & Salvaneschi, G., editors, 37th European Conference on Object-Oriented Programming (ECOOP 2023), volume 263, of Leibniz International Proceedings in Informatics (LIPIcs), pages 40:1–40:29, Dagstuhl, Germany, 2023. Schloss Dagstuhl – Leibniz-Zentrum für Informatik. ![On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex @InProceedings{mota2023,
author = {Mota, Jo\~{a}o and Giunti, Marco and Ravara, Ant\'{o}nio},
title = {{On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {40:1--40:29},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.40},
doi = {10.4230/LIPIcs.ECOOP.2023.40},
}
Downloads: 0
{"_id":"zdzdPB3caFqvbxC8d","bibbaseid":"mota-giunti-ravara-onusingverifastvercorspluralandkeytocheckobjectusage-2023","author_short":["Mota, J.","Giunti, M.","Ravara, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Mota"],"firstnames":["João"],"suffixes":[]},{"propositions":[],"lastnames":["Giunti"],"firstnames":["Marco"],"suffixes":[]},{"propositions":[],"lastnames":["Ravara"],"firstnames":["António"],"suffixes":[]}],"title":"On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage","booktitle":"37th European Conference on Object-Oriented Programming (ECOOP 2023)","pages":"40:1–40:29","series":"Leibniz International Proceedings in Informatics (LIPIcs)","isbn":"978-3-95977-281-5","issn":"1868-8969","year":"2023","volume":"263","editor":[{"propositions":[],"lastnames":["Ali"],"firstnames":["Karim"],"suffixes":[]},{"propositions":[],"lastnames":["Salvaneschi"],"firstnames":["Guido"],"suffixes":[]}],"publisher":"Schloss Dagstuhl – Leibniz-Zentrum für Informatik","address":"Dagstuhl, Germany","url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.40","doi":"10.4230/LIPIcs.ECOOP.2023.40","bibtex":"@InProceedings{mota2023,\n author =\t{Mota, Jo\\~{a}o and Giunti, Marco and Ravara, Ant\\'{o}nio},\n title =\t{{On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage}},\n booktitle =\t{37th European Conference on Object-Oriented Programming (ECOOP 2023)},\n pages =\t{40:1--40:29},\n series =\t{Leibniz International Proceedings in Informatics (LIPIcs)},\n ISBN =\t{978-3-95977-281-5},\n ISSN =\t{1868-8969},\n year =\t{2023},\n volume =\t{263},\n editor =\t{Ali, Karim and Salvaneschi, Guido},\n publisher =\t{Schloss Dagstuhl -- Leibniz-Zentrum f{\\\"u}r Informatik},\n address =\t{Dagstuhl, Germany},\n URL =\t\t{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.40},\n doi =\t\t{10.4230/LIPIcs.ECOOP.2023.40},\n}\n\n","author_short":["Mota, J.","Giunti, M.","Ravara, A."],"editor_short":["Ali, K.","Salvaneschi, G."],"key":"mota2023","id":"mota2023","bibbaseid":"mota-giunti-ravara-onusingverifastvercorspluralandkeytocheckobjectusage-2023","role":"author","urls":{"Paper":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.40"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/external_papers.bib","dataSources":["Hq53LMfZur9PA94Hy","4vHyEThqqf8AQQn55"],"keywords":[],"search_terms":["using","verifast","vercors","plural","key","check","object","usage","mota","giunti","ravara"],"title":"On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage","year":2023}