Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Katia Moraes
Latest
Applying the B Method for the Rigorous Development of Smart Card Applications
Cite
×