Integrated Formal Methods - International Conference on Integrated Formal Methods; Kanade, Takeo; Pol, Jaco van de; Romijn, Judi; Smith, Graeme; Smith, Graeme P.; van de Pol, Jaco C. (Springer Berlin / Heidelberg, 2005)