Author:
Arif Rabia,Mori Elisabetta,Primiero Giuseppe
Publisher
Springer International Publishing
Reference78 articles.
1. Agar, J. 2008. The government machine. A revolutionary history of the computer. Cambridge/London: The MIT Press.
2. Ammann, P., and J. Offutt. 2008. Introduction to software testing. Cambridge: Cambridge University Press.
3. Apt, K., F.S. de Boer, and E.R. Olderog. 2009. Verification of sequential and concurrent programs. Dordrecht: Springer.
4. Aris, J.B.B. 2000. Inventing systems engineering. IEEE Annals of the History of Computing 22(3): 4–15.
5. Arkoudas, K., and S. Bringsjord. 2007. Computers, justification, and mathematical knowledge. Minds and Machines 17(2): 185–202.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献