أرسل هذا في رسالة قصيرة: Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 ; proceedings / Eerke A. Boiten, John Derrick, Graeme Smith, (eds.).