Pedro Faria Durães da Silva
AuthID: R-00M-0HX
1
TÃTULO: Alloy Goes Fuzzy
AUTORES: Silva, Pedro; Cunha, Alcino ; Macedo, Nuno ; Oliveira, Jose N.;
PUBLICAÇÃO: 2024, FONTE: 10th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2024, VOLUME: 14759
AUTORES: Silva, Pedro; Cunha, Alcino ; Macedo, Nuno ; Oliveira, Jose N.;
PUBLICAÇÃO: 2024, FONTE: 10th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2024, VOLUME: 14759
