- Citation:
- Fayollas C, Martinie C, Palanque P, Masci P, Harrison M, Campos JC, Silva SR.
2017. Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-web. Proceedings of the Third Workshop on Formal Integrated Development Environment. 240:1-19. copy at www.tinyurl.com/y5caolje
Tertiary Title:
Electronic Proceedings in Theoretical Computer Science
Abstract:
n/a
Notes:
n/a
Citation Key:
Fayollas:2017