Author:
Sachtleben Robert,Hierons Robert M.,Huang Wen-ling,Peleska Jan
Publisher
Springer International Publishing
Reference16 articles.
1. Ballarin, C.: Locales: a module system for mathematical theories. J. Autom. Reasoning 52(2), 123–153 (2014).
https://doi.org/10.1007/s10817-013-9284-7
2. Lecture Notes in Computer Science;N Bjørner,2018
3. Lecture Notes in Computer Science;AD Brucker,2006
4. Brucker, A.D., Wolff, B.: On theorem prover-based testing. Formal Aspects Comput. 25(5), 683–721 (2013).
https://doi.org/10.1007/s00165-012-0222-y
5. Brunner, J.: Transition systems and automata. Archive of Formal Proofs, October 2017.
http://isa-afp.org/entries/Transition_Systems_and_Automata.html
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献