Developing Topology Discovery in Event-B.

Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial

Browse the full IFM paper archive.