R. Braga da Costa and J.C. Campos
Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred Design
In Human-Computer Interaction - INTERACT 2023, volume 14143 of Lecture Notes in Computer Science, pages 504-513. Springer. 2023.

visit publisher   

@inproceedings{CostaC:2023,
 author = {R. Braga da Costa and J.C. Campos},
 title = {Prototyping with the {IVY} Workbench: Bridging Formal Methods and User-Centred Design},
 booktitle = {Human-Computer Interaction - INTERACT 2023},
 series = {Lecture Notes in Computer Science},
 volume = {14143},
 pages = {504-513},
 publisher = {Springer},
 year = {2023},
 doi = {10.1007/978-3-031-42283-6_27}
}

Generated by mkBiblio 2.6.28