![](/img/cover-not-exists.png)
[IEEE 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Auckland, New Zealand (2009.11.16-2009.11.20)] 2009 IEEE/ACM International Conference on Automated Software Engineering - A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software
Denney, Ewen, Fischer, BerndYear:
2009
Language:
english
DOI:
10.1109/ase.2009.71
File:
PDF, 2.66 MB
english, 2009