Utilizing Event-B for domain engineering: a critical analysis

Autoren Atif Mashkoor
J.-P. Jacquot
TitelUtilizing Event-B for domain engineering: a critical analysis
TypArtikel
JournalRequirements Engineering
Nummer3
Band16
Jahr2011
Seiten191-207