Author:
Daum Matthias,Schirmer Norbert W.,Schmidt Mareike
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. FAL-based High Reusability and Automated Verification Platform;Proceedings of the 2nd International Conference on Computer Science and Application Engineering - CSAE '18;2018
2. Concerned with the unprivileged: user programs in kernel refinement;Formal Aspects of Computing;2014-11
3. Theory of Multi Core Hypervisor Verification;Lecture Notes in Computer Science;2013
4. Logic and Proof in Computer Science;Philosophical Perceptions on Logic and Order