Search for persons
X
?
Proceedings of the Eighteenth International Conference on Tangible, Embedded, and Embodied Interaction ,
3
Shape2Vibe: A Tangible Tool for Vibrotactile Co-Design with..:
, In:
?
Companion Proceedings for the ISSTA/ECOOP 2018 Workshops ,
6
An exercise in verifying sequential programs with VerCors:
, In:
?
Medical Image Computing and Computer Assisted Intervention – MICCAI 2018; Lecture Notes in Computer Science ,
7