Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Bruno Emerson Gurgel Gomes
Latest
Applying the B Method for the Rigorous Development of Smart Card Applications
BSmart: A Tool for the Development of Java Card Applications with the B Method
Cite
×