2 works on record
Interactive Systems. Design, Specification, and Verification
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2004