Symbolic PathFinder (SPF)
Thiago Moura
mourats
PhD Student in Computer Science
Research Associate in the Software Quality Group
Ruhr University Bochum (RUB)
Research Associate at @rub-sq Bochum, Germany
{{ message }}
