Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.Sign up
University of Brasilia
- Brasilia, DF, Brazil
Repository containing the assets used by Andre Lanna in his classes of Software Engineering course at the University of Brasilia.
Java tool to convert CSV to JSON
SPL model checking and parametric model checking.
Repository used to publish any artifact related to ReAna tool.