integrated formal methods,7th international conference, ifm 2009, dusseldorf, germany, february 16-19, 2009, proceedings

michael (edt) leuschel · springer-verlag new york inc