Utilizing Event-B for domain engineering: a critical analysis

J. Jacquot. Utilizing Event-B for domain engineering: a critical analysis. Requirements Engineering, volume 16, number 3, pages 191-207, 2011.

Autoren
  • J.-P. Jacquot
TypArtikel
JournalRequirements Engineering
Nummer3
Band16
Jahr2011
Seiten191-207