creators_name: Hoang, Thai Son
creators_name: Fürst, Andreas
creators_name: Abrial, Jean-Raymond
creators_id: htson@inf.ethz.ch
creators_id: andreas.fuerst@inf.ethz.ch
creators_id: jabrial@inf.ethz.ch
type: article
datestamp: 2012-07-09 14:10:02
lastmod: 2012-07-09 14:39:26
metadata_visibility: show
title: Event-B Patterns and Their Tool Support
ispublished: pub
subjects: deploy_method_comp
subjects: deploy_tooldev_rodinplugins
full_text_status: none
date: 2011
date_type: published
publication: Software and Systems Modelling
refereed: TRUE
official_url: http://dx.doi.org/10.1007/s10270-010-0183-7
citation:   Hoang, Thai Son and Fürst, Andreas and Abrial, Jean-Raymond  (2011) Event-B Patterns and Their Tool Support.  Software and Systems Modelling .