Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Dorian Petit
Latest
Improving Traceability between KAOS Requirements Models and B Specifications
Cite
×