Juliana Andreia Silva da Cunha
AuthID: R-000-Y7X
1
TÃTULO: Stepwise Development of Paraconsistent Processes
AUTORES: Juliana Cunha; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2023, FONTE: 17th International Symposium on Theoretical Aspects of Software Engineering, TASE 2023 in Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, VOLUME: 13931
AUTORES: Juliana Cunha; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2023, FONTE: 17th International Symposium on Theoretical Aspects of Software Engineering, TASE 2023 in Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, VOLUME: 13931
2
TÃTULO: Structured Specification of Paraconsistent Transition Systems
AUTORES: Juliana Cunha; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2023, FONTE: 10th IPM International Conference on Fundamentals of Software Engineering, FSEN 2023 in Fundamentals of Software Engineering - 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers, VOLUME: 14155
AUTORES: Juliana Cunha; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2023, FONTE: 10th IPM International Conference on Fundamentals of Software Engineering, FSEN 2023 in Fundamentals of Software Engineering - 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers, VOLUME: 14155
