Author:
Liu Zhiming,Roychoudhury Abhik
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference53 articles.
1. Margaria, T., Steffen, B. (eds.): Proceedings of the Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15–19 November 2006, IEEE Computer Society (2006)
2. Margaria, T., Steffen, B. (eds.): Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008 Communications in Computer and Information Science, vol. 17. Springer, Berlin (2008)
3. Margaria, T., Steffen, B. (eds.): Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation—4th International Symposium on Leveraging Applications, ISoLA 2010, Lecture Notes in Computer Science, vol. 6415. Springer, Berlin (2010)
4. Dijkstra, E.W.: The humble programmer—ACM Turing Award Lecture. Commun. ACM 15(10), 859866 (1972)
5. Brooks Jr, F.P.: No silver bullet: essence and accidents of software engineering. IEEE Comput. 20(4), 1019 (1987)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献