Publié le 12/12/2009 |
On behalf of the DEPLOY project, CLEARSY is organizing the “B Dissemination Day” workshop, at the occasion of the “GRACE International Symposium on Advanced Software Engineering 2010” which will take place 15-17 March in Tokyo. This workshop will be held on 17 march 2010 in Hitotsubachi building at National Institute of Informatics>.
T. Lecomte and A. Requet will participate to this event and will present the B method and its stakes through various practical examples and tool demonstrations.