Seguir
João Mota
João Mota
NOVA School of Science and Technology, Portugal
Dirección de correo verificada de campus.fct.unl.pt
Título
Citado por
Citado por
Año
Java typestate checker
J Mota, M Giunti, A Ravara
International Conference on Coordination Languages and Models, 121-133, 2021
162021
Coping with the reality: adding crucial features to a typestate-oriented language
JD da Luz Mota
NOVA School of Science and Technology, 2021
7*2021
Typestates to Automata and back: a tool
A Trindade, J Mota, A Ravara
arXiv preprint arXiv:2009.08769, 2020
72020
A Java typestate checker supporting inheritance
L Bacchiani, M Bravetti, M Giunti, J Mota, A Ravara
Science of Computer Programming 221, 102844, 2022
52022
On using VeriFast, VerCors, Plural, and KeY to check object usage
J Mota, M Giunti, A Ravara
arXiv preprint arXiv:2209.05136, 2022
22022
On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper)
J Mota, M Giunti, A Ravara
37th European Conference on Object-Oriented Programming (ECOOP 2023), 2023
2023
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–6