An overview of semantics for the validation of numerical programs (2005)

by M Martel
Venue:In VMCAI, volume 3385 of LNCS