On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper)

Joao Mota, Marco Giunti, António Ravara,

URL	https://doi.org/10.4230/LIPIcs.ECOOP.2023.40
Book title	European Conference on Object-Oriented Programming (ECOOP 2023)

Publication