A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software (Q57658812)
No description defined
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software |
No description defined |
Statements
A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software (English)
0 references
November 2009
0 references
