Pinned Repositories
frequencia-escolar-rest
Envio de frequência escolar via serviço REST
heaven-and-ale
Heaven and Ale board game algorithms
XMIToPRISM
UML diagrams as XMI files transformed to DTMC in PRISM language via UnB-DALi.
tradutores
pedrostruck's Repositories
pedrostruck/frequencia-escolar-rest
Envio de frequência escolar via serviço REST
pedrostruck/heaven-and-ale
Heaven and Ale board game algorithms
pedrostruck/XMIToPRISM
UML diagrams as XMI files transformed to DTMC in PRISM language via UnB-DALi.