A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software
Keyword(s):
Keyword(s):
2014 ◽
Vol 912-914
◽
pp. 1172-1176
◽
2013 ◽
Vol 479-480
◽
pp. 855-860
Keyword(s):
1993 ◽
Vol 19
(4)
◽
pp. 457-473
◽