Andrzej Tarlecki


AuthID: R-00J-580

Publicações a aguardar confirmação

1
TÍTULO: FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
AUTORES: John S Fitzgerald; Ian J Hayes; Andrzej Tarlecki;
PUBLICAÇÃO: 2005, FONTE: FM, VOLUME: 3582
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