Sign in

Accurate ICP-based floating-point reasoning.

Karsten ScheiblerFelix NeubauerAhmed MahdiMartin FränzleTino TeigeTom BienmüllerDetlef FehrerBernd Becker
Published in: FMCAD (2016)
Keyphrases