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:15 - 5 self