Abstract
Grilo, M; Campos, J; Ferreira, JF; Almeida, JB; Mendes, A
Ferreira, JF (通讯作者),Univ Lisbon, IST, Lisbon, Portugal.;Ferreira, JF (通讯作者),Univ Lisbon, INESC ID, Lisbon, Portugal.
INTEGRATED FORMAL METHODS, IFM 2022, 2022; 13274 (): 271