Integrated formal methods : 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010: proceedings / eds.: D. Méry, S. Merz, 2010 r=on-line. - Текст : электронный.