Author:
Cavalcanti Ana,Huang Wen-ling,Peleska Jan,Woodcock Jim
Publisher
Springer International Publishing
Reference22 articles.
1. Lecture Notes in Computer Science;H Anderson,2010
2. Back, R.J., Kurki-Suonio, R.: Distributed cooperation with action systems. ACM Trans. Program. Lang. Syst. 10(4), 513–554 (1988)
3. Burdy, L., et al.: An overview of JML tools and applications. STTT 7(3), 212–232 (2005)
4. Butterfield, A.: A denotational semantics for Handel-C. FACJ 23(2), 153–170 (2011)
5. Cavalcanti, A.L.C., Clayton, P., O’Halloran, C.: From control law diagrams to Ada via
$${\sf Circus}$$
. FACJ 23(4), 465–512 (2011)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献