Publisher
Springer International Publishing
Reference109 articles.
1. Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Ambler, S.: The Agile Unified Process (AUP).
http://www.ambysoft.com/unifiedprocess/agileUP.html
3. Back, R.J.: On the correctness of refinement steps in program, development. Ph.D. thesis, University of Helsinki, Finland (1978)
4. Bergstra, J.A., Tucker, V.J.: Expressiveness and the completeness of Hoare’s logic. J. Comput. Syst. Sci. 25(3), 267–284 (1982).
https://doi.org/10.1016/0022-0000(82)90013-7
5. Berry, G., Gonthier, G.: The Esterel synchronous programming language: design, semantics, implementation. Sci. Comput. Program. 19(2), 87–152 (1992).
https://doi.org/10.1016/0167-6423(92)90005-V
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献