Utilizing Event-B for domain engineering: a critical analysis

Authors Atif Mashkoor
J.-P. Jacquot
Title Utilizing Event-B for domain engineering: a critical analysis
Type article
Journal Requirements Engineering
Number 3
Volume 16
Year 2011
Pages 191-207