publicações selecionadas artigo de conferência Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets. Computational Methods in Applied Sciences. 2019
