Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Daniel Plagge
Latest
Refinement-Animation for Event-B - Towards a Method of Validation
Cite
×