Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred Design.

Rafael Braga da Costa, Jos Creissac Campos

Browse the full Interact paper archive.