Alloy meets the algebra of programming: a case study

• full text

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

Visão geral

autores

• Oliveira, José Nuno Fonseca
• Ferreira, Miguel A.
• Oliveira, J.N.
• Ferreira, M.A.

data de publicação

• janeiro 1, 2013

publicada em

• IEEE Transactions on Software Engineering  Revista

Pesquisas

palavras-chave

• Algebra of programming
• Grand challenges in computing
• Model checking
• Software verification

Identidade

Digital Object Identifier (DOI)

• https://doi.org/10.1109/tse.2012.15

Informação adicional documento

Página Inicial

• 305

página final

• 326

Volume

• 39

questão

• 3