Artigo em ata de conferência Acesso aberto Revisto por pares

Prototyping with the IVY workbench: bridging formal methods and user-centred design