Author:
Mikhajlov Leonid,Laibinis Linas,Sekerinski Emil
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. M. Abadi and L. Lamport. Composing speci cations.ACM Transactions on Programming Languages and Systems, 15(1):73–132, Jan. 1993.
2. R. J. R. Back and J. von Wright. Refinement Calculus: A Systematic Introduction. Springer-Verlag, April 1998.
3. Technical Report TUCS-TR-236;R. J. R. Back,1999
4. Technical Report TUCS-TR-235;R. J. R. Back,1999
5. M. Büchi and E. Sekerinski. Formal methods for component software: The refinement calculus perspective. In W. Weck, J. Bosch, and C. Szyperski, editors, Proceedings of WCOP’97, volume 5 of TUCS General Publication, pages 23–32,June 1997.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献