Gabriela Moreira
@bugarela.bsky.social
Linguagens, compiladores e verificação. Trabalho numa linguagem de especificação chamada Quint e dou aula de métodos formais na UDESC. 26 aninhos, Joinville - SC.
Oh no :( você pode vir pro tutorial no segund slot (depois do coffee break) talvez.
September 18, 2024 at 9:13 PM
Oh no :( você pode vir pro tutorial no segund slot (depois do coffee break) talvez.