http://ifm-abz.isti.cnr.it/page22/abzindex.html
B Track Chair :
Michael Leuschel , University of Düsseldorf, Germany (leuschel@cs.uni-duesseldorf.de)
Thursday, October 6, 2011
Subscribe to:
Post Comments (Atom)
Software engineering, Formal methods, B method, Teaching, Research, International Conference, Nantes June 16 2008, June 8 2009, June 7 2010
No comments:
Post a Comment