Representational Reasoning and Verification

• http://www.springerlink.com/content/t7300jw01dx06d57/
• full text

•  
• Visão geral
•  
• Identidade
•  
• Informação adicional documento
•  
• Ver Todos
•  

Visão geral

autores

• José Francisco Creissac Freitas de Campos
• Doherty, Gavin
• Campos, José Francisco Creissac Freitas de

data de publicação

• janeiro 1, 2000

tem uma área de assunto

• Ciências Exatas - Ciências da Computação e da Informação

publicada em

• Formal Aspects of Computing  Revista

Identidade

Digital Object Identifier (DOI)

• https://doi.org/10.1007/pl00003934
• https://doi.org/10.1007/pl00003934

Informação adicional documento

Página Inicial

• 260

página final

• 277

Volume

• 12

questão

• 4