Symbolic crosschecking of data-parallel floating-point code. (2014)

by P Collingbourne, C Cadar, P H J Kelly
Venue:IEEE Transactions on Software Engineering,