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