Verification of numerical programs using Penelope/Ariel

COMPASS `92 Proceedings of the Seventh Annual Conference on Computer Assurance ◽

10.1109/cmpass.1992.235765 ◽

2003 ◽

Author(s):

S. Prasad

Download Full-text