Follow
André Trindade
André Trindade
Other namesAndré Duarte Teixeira Trindade
BY THE END OF MAY
Verified email at bytheendofmay.com - 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
92020
A Mechanized Proof of Kleene’s Theorem in Why3
ADT Trindade
University of Beira Interior, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–2