Följ
André Trindade
André Trindade
Andra namnAndré Duarte Teixeira Trindade
NOVA School of Science and Technology, NOVA University Lisbon
Verifierad e-postadress på campus.fct.unl.pt - Startsida
Titel
Citeras av
Citeras av
År
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–2