Author:
Denney Ewen,Fischer Bernd,Schumann Johann
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Bibel, W., Schmitt, P.H. (eds.): Automated Deduction — A Basis for Applications. Kluwer, Dordrecht (1998)
2. Lecture Notes in Computer Science;E. Denney,2003
3. Denney, E., Fischer, B., Schumann, J.: Adding Assurance to Automatically Generated Code. In: Proc. 8th IEEE Intl. Sympl. High Assurance System Engineering, pp. 297–299. IEEE Comp. Soc. Press, Los Alamitos (2004)
4. Denney, E., Venkatesan, R.P.: A generic software safety document generator. In: Proc. 10th AMAST (2004) (to appear)
5. Fischer, B., Hajian, A., Knuth, K., Schumann, J.: Automatic Derivation of Statistical Data Analysis Algorithms: Planetary Nebulae and Beyond. In: Proc. 23rd MaxEnt. (2004) (to appear), http://ase.arc.nasa.gov/people/fischer/
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献