Author:
Jackson M. I.,Denvir B. T.,Shaw R. C.
Publisher
Springer Berlin Heidelberg
Reference4 articles.
1. Beichter F, Herzog O, Petzsch H. SLAN-4: A Language for the Specification and Design of Large Software Systems. IBM Journal of Research and Development, Vol. 27, No. 6, November 1983.
2. Bjorner D, Jones C.B. Formal Specification and Software Development. Prentice Hall, 1982.
3. Jones C.B. Software Development: A Rigorous Approach Prentice Hall, 1980.
4. Prehn S, Hanson I.O, Palm S.U, Gobel P. Formal Methods Appraisal: Final Report ESPRIT Preparatory Study Report, June 1983.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献