Xavier Devroey
Open Menu
Close Menu
Home
Publications
Courses
SNAIL team
Paper-Conference
Generating High-Level Event-B System Models from KAOS Requirements Models
Jan 1, 2011
« Previous