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

Cached

Download Links

by Matthieu Martel , Cea Recherche Technologique
Venue:In VMCAI, volume 3385 of LNCS
Citations:19 - 9 self