Alloy4Fun

• http://alloy4fun.inesctec.pt/

•  
• Visão geral
•  
• Pesquisas
•  
• Ver Todos
•  

Visão geral

autores

• Macedo, Nuno

tem uma área de assunto

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

Pesquisas

palavras-chave

• Alloy
• Automated assessment systems
• Electrum
• Lightweight formal methods
• Software design