"412","Event-B Patterns and Their Tool Support","","http://deploy-eprints.ecs.soton.ac.uk/412/","Hoang, Thai Son and Fürst, Andreas and Abrial, Jean-Raymond","UNSPECIFIED","       <span class=\"person_name\">Hoang, Thai Son</span> and <span class=\"person_name\">Fürst, Andreas</span> and <span class=\"person_name\">Abrial, Jean-Raymond</span>     (2011)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/412/\"><em>Event-B Patterns and Their Tool Support.</em></a>       Software and Systems Modelling       .                          ","htson@inf.ethz.ch,andreas.fuerst@inf.ethz.ch,jabrial@inf.ethz.ch","2011"