Interactive Systems. Design, Specification, and Verification 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers Jorge, Joaquim Heftet / 2003 / Engelsk
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2004 7th International Conference Saint-Malo, France, September 26-29, 2004, Proceedings, Part I Barillot Christian Heftet / 2004 / Engelsk
