Symbolic Crosschecking of Floating-Point and SIMD Code

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