Starter PacksStarter Packs
Support

Gabriela Moreira

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.

View in Bluesky

Subscribe to get the latest
Starter Packs Starter Packs updates.

0

Starter Packs to explore and growing...

Explore

Bluesky Starter Packs

Bluesky Profiles

Leaderboard

Resources

Pricing

Popular Searches

Brought to you by

© 2024 - 2025 — Starter Packs by

Ryan Hefner
Stripe Climate Badge

1% of purchases is contributed to removing CO₂ from the atmosphere. Learn more