Overflow and Roundoff Error Analysis via Model Checking
Keyword(s):
Keyword(s):
1984 ◽
Vol 32
(1)
◽
pp. 34-41
◽
Keyword(s):
Keyword(s):
1992 ◽
Vol 59
(200)
◽
pp. 569-569
◽
1971 ◽
Vol 25
(116)
◽
pp. 757-757
◽
Keyword(s):