Context

Context of Integrated formal methods : 7th international conference, IFM 2009, Duesseldorf, Germany, February 16-19, 2009, proceedings, Michael Leuschel, Heike Wehrheim (eds.), (electronic resource)
Processing Feedback ...