Utilizing Event-B for domain engineering: a critical analysis

Autoren Atif Mashkoor
J.-P. Jacquot
Titel Utilizing Event-B for domain engineering: a critical analysis
Typ Artikel
Journal Requirements Engineering
Nummer 3
Band 16
Jahr 2011
Seiten 191-207