Publisher
Springer Nature Switzerland
Reference124 articles.
1. Lecture Notes in Computer Science;J-R Abrial,1996
2. Lecture Notes in Computer Science,1996
3. Althoff, M.: An introduction to CORA 2015. In: Frehse, G., Althoff, M. (eds.) 1st and 2nd International Workshop on Applied Verification for Continuous and Hybrid Systems. EPiC Series in Computing, vol. 34, pp. 120–151. EasyChair (2015)
4. Arthan, R.: ProofPower. Lemma 1 Ltd. (2017). https://www.lemma-one.com/ProofPower/index/
5. Atiya, D.M., King, S.: A compliance notation for verifying concurrent systems. In: Proceedings of the 24th International Conference on Software Engineering, ICSE 2002, pp. 731–732. Association for Computing Machinery (2002). https://doi.org/10.1145/581339.581475
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Jifeng He at Oxford and Beyond: An Appreciation;Theories of Programming and Formal Methods;2023