Integrated formal methods : 7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009: proceedings / eds. M. Leuschel, H. Wehrheim, 2009 r=on-line. - Текст : электронный.