Author:
Otten Jens,Bibel Wolfgang
Publisher
Springer International Publishing
Reference70 articles.
1. http://www.scientificamerican.com/article/pogue-5-most-embarrassing-software-bugs-in-history/ . Accessed 15 June 2016
2. https://en.wikipedia.org/wiki/2015_Seville_Airbus_A400M_Atlas_crash . Accessed 15 June 2016
3. https://en.wikipedia.org/wiki/List_of_failed_and_overbudget_custom_software_projects . Accessed 15 June 2016
4. Antonsen, R., Waaler, A.: Liberalized variable splitting. J. Autom. Reason. 38, 3–30 (2007)
5. Astrachan, O., Loveland, D.: METEORs: high performance theorem provers using model elimination. In: Bledsoe, W., Boyer, S. (eds.) Automated Reasoning: Essays in Honor of Woody Bledsoe, pp. 31–60. Kluwer, Amsterdam (1991)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献