Author:
Prasetya I. S. W. B.,Vos T. E. J.,Azurat A.,Swierstra S. D.
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Abadi, M., Lamport, L.: Composing specifications. ACM Transactions on Programming Languages and Systems 15(1), 73–132 (1993)
2. Abadi, M., Lamport, L.: Conjoining specifications. ACM Transactions on Programming Languages and Systems 17(3), 507–534 (1995)
3. Lecture Notes in Computer Science;R.J.R. Back,1990
4. Broy, M.: Multi-view modelling of software sytems. In: H.D. Van and Z. Liu, editors, Proceedings of the Workshop on Formal Aspects of Component Software (FACS), Also as UNU/IIST Report no. 284 (2003), available on-line at
http://www.iist.unu.edu/newrh/III/1/page.html
5. Chandy, K., Charpentier, M.: An experiment in program composition and proof. Formal Methods in System Design 20(1), 7–21 (2002)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Calculating and Composing Progress Properties in Terms of the Leads-to Relation;Formal Methods and Software Engineering;2007
2. Web Cube;Lecture Notes in Computer Science;2006