Publisher
Springer Science and Business Media LLC
Reference19 articles.
1. Abrial, J.: Modelling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
2. Arthan, R.D., Caseley, P., O’Halloran, C., Smith, A.: ClawZ: control laws in Z. In: ICFEM 2000, pp. 169–176 (2000)
3. Barnes, J.: High Integrity Ada, the Spark Approach. Addison Wesley, Reading (1997). ISBN 0-201-17517-7
4. Denney, E., Fischer, B.: A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software (2009)
5. Filliâtre, J.-C., Marché, C.: Multi-prover verification of C programs. In: Formal Methods and Software Engineering, pp. 15–29 (2004)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献