Event-B Patterns and Their Tool Support.

Thai Son Hoang, Andreas Frst, Jean-Raymond Abrial

Browse the full SEFM paper archive.