Using Design Patterns in Formal Methods: An Event-B Approach.

Jean-Raymond Abrial, Thai Son Hoang

Browse the full ICTAC paper archive.