Author:
Foster Simon,Huerta y Munive Jonathan Julián,Struth Georg
Publisher
Springer International Publishing
Reference28 articles.
1. Angus, A., Kozen, D.: Kleene algebra with tests and program schematology. Rechnical Report 2001–1844, Computer Science Department, Cornell University (2001)
2. Armstrong, A., Gomes, V.B.F., Struth, G.: Kleene algebra with tests and demonic refinement algebras. Archive of Formal Proofs (2014)
3. Armstrong, A., Gomes, V.B.F., Struth, G.: Building program construction and verification tools from algebraic principles. Formal Aspects Comput. 28(2), 265–293 (2016)
4. Back, R., von Wright, J.: Refinement Calculus–A Systematic Introduction. Springer, New York (1998). https://doi.org/10.1007/978-1-4612-1674-2
5. Bohrer, B., Rahli, V., Vukotic, I., Völp, M., Platzer, A.: Formally verified differential dynamic logic. In: CPP 2017, pp. 208–221. ACM (2017)
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献