Seguir
André Trindade
André Trindade
Otros nombresAndré Duarte Teixeira Trindade
NOVA School of Science and Technology, NOVA University Lisbon
Dirección de correo verificada de campus.fct.unl.pt - Página principal
Título
Citado por
Citado por
Año
Typestates to Automata and back: a tool
A Trindade, J Mota, A Ravara
arXiv preprint arXiv:2009.08769, 2020
72020
A Mechanized Proof of Kleene’s Theorem in Why3
ADT Trindade
2021
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–2