- 🌱 I’m currently learning how to develop high-scale distributed systems
- 💬 Ask me about java, scala, kotlin, play!, spring boot, flutter, typescript, nestjs, psql, aws, or anything you want to
- 📫 Reach me out on: [email protected]
felipebonezi / bank-z-metodosformais Goto Github PK
View Code? Open in Web Editor NEWProjeto da cadeira de Métodos Formais para modelagem de um software para banco utilizando a linguagem Z.