Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference15 articles.
1. Abadi M., Lamport L.: An old-fashined recipe for real-time. ACM Trans. Program. Lang. Syst. 16(5), 1543–1571 (1994)
2. Abrial, J.R.: B#: Toward a synthesis between Z and B. In: Bert, D., Bowen, J.P., King, S., Waldén, M.A. (eds.) ZB, Lecture Notes in Computer Science, vol. 2651, pp. 168–177. Springer, Berlin (2003)
3. Abrial J.R., Cansell D.: Click’n prove: Interactive proofs within set theory. In: Basin, D.A., Wolff, B. (eds) TPHOLs. Lecture Notes in Computer Science, vol. 2758, pp. 1–24. Springer, Berlin (2003)
4. Abrial J.R., Cansell D., Méry D.: A mechanically proved and incremental development of IEEE 1394 tree identify protocol. Formal Aspects Comput. 14(3), 215–227 (2003)
5. Abrial J.R., Cansell D., Méry D.: A mechanically proved and incremental development of ieee 1394 tree identify protocol. Formal Aspects Comput. 14(3), 215–227 (2003)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献