José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Publicações a aguardar confirmação

11
TÍTULO: Automated theorem proving for the systematic analysis of interactive systems  Full Text
AUTORES: Harrison, M. D.; P. Masci; Campos, J. Creissac; P. Curzon;
PUBLICAÇÃO: 2013
INDEXADO EM: Handle
Página 2 de 2. Total de resultados: 11.

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

Links Úteis

Ajuda

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