Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Olivier Rolland
Latest
Fixed-Point Arithmetic Modeled in B Software Using Reals
Cite
×