Pekka Pihlajasaari


AuthID: R-00H-DNW

Publicações a aguardar confirmação

1
TÍTULO: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
AUTORES: Cliff B Jones; Pekka Pihlajasaari; Jun Sun;
PUBLICAÇÃO: 2014, FONTE: FM, VOLUME: 8442
INDEXADO EM: DBLP

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service