Rodrigo Alves

Rodrigo Alves

PhD Student in Computer Science

First Steps in a Paraconsistent Transition Systems Toolkit

Published in Theoretical Aspects of Software Engineering (TASE), 2026

Recommended citation: Alves, Rodrigo, Cunha, Juliana, Madeira, Alexandre. (2027). "First Steps in a Paraconsistent Transition Systems Toolkit." Theoretical Aspects of Software Engineering, pp. 368--385, Springer Nature Switzerland.
Download Paper