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

researchr

You are not signed in
Sign in
Sign up

João Mota, Marco Giunti, António Ravara. On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper). In Karim Ali 0001, Guido Salvaneschi, editors, 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States. Volume 263 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]

This author has not been identified. Look up 'João Mota' in GoogleThis author has not been identified. Look up 'Marco Giunti' in GoogleThis author has not been identified. Look up 'António Ravara' in Google

runs on WebDSL