Author:
Hoffman Dustin,Tagore Aditi,Zaccai Diego,Weide Bruce W.
Publisher
Springer International Publishing
Reference10 articles.
1. Lecture Notes in Computer Science;A. Tagore,2013
2. Sitaraman, M., Adcock, B., Avigad, J., Bronish, D., Bucci, P., Frazier, D., Friedman, H., Harton, H., Heym, W., Kirschenbaum, J., Krone, J., Smith, H., Weide, B.: Building a push-button RESOLVE verifier: Progress and challenges. Formal Aspects of Computing 23(5), 607–626 (2011)
3. Lecture Notes in Computer Science;L. Moura de,2008
4. Adcock, B.M.: Working Towards the Verified Software Process. PhD thesis, The Ohio State University, Columbus, OH, USA (2010)
5. Westland, J.: The cost of errors in software development: evidence from industry. Journal of Systems and Software 62(1), 1–9 (2002)