Follow
André Trindade
André Trindade
Other namesAndré Duarte Teixeira Trindade
NOVA School of Science and Technology, NOVA University Lisbon
Verified email at campus.fct.unl.pt - Homepage
Title
Cited by
Cited by
Year
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
The system can't perform the operation now. Try again later.
Articles 1–2