Symbolic Crosschecking of Floating-Point and SIMD Code

by Peter Collingbourne , Cristian Cadar , Paul H. J. Kelly
Citations:8 - 2 self