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