Author:
Jeffery Ross,Staples Mark,Andronick June,Klein Gerwin,Murray Toby
Subject
Computer Science Applications,Information Systems,Software
Reference51 articles.
1. Large-scale formal verification in practice: a process perspective;Andronick,2012
2. The goal question metric approach;Basili,1994
3. R.E. Bloomfield, D. Craigen, Formal Methods Diffusion: Past Lessons and Future Prospects, Adelard, 2000.
4. A. Bollin, A. Tabareh, 2012, Predictive software measures based on Z specifications – a case study, in: Proceedings of the 2nd Workshop on Formal Methods in the Development of Software, pp. 33–40.
5. J.P. Bowen, M.G. Hinchey, Ten commandments of formal methods, in: IEEE Computer, vol. 28, 1994, pp. 56–63.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献