Publications

Xavier Devroey (2010). Building a bridge between goal-oriented requirements with KAOS and event-B system specifications. University of Namur.
PDF Cite