Developing Topology Discovery in Event-B.

Thai Son Hoang Hironobu Kuruma David A. Basin Jean-Raymond Abrial Developing Topology Discovery in Event-B. 1-19 2009 IFM http://dx.doi.org/10.1007/978-3-642-00255-7_1 conf/ifm/2009 db/conf/ifm/ifm2009.html#HoangKBA09