Author:
Oortwijn Wytse,Huisman Marieke
Publisher
Springer International Publishing
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Proof of Security Properties: Application to JavaCard Virtual Machine;Computer Science Foundations and Applied Logic;2024
2. The VerCors Verifier: A Progress Report;Lecture Notes in Computer Science;2024
3. Validating communication of a dynamic traffic management system;2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS);2023-06-14
4. A formal analysis of Dutch Generic Integral Tunnel Design models;Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing;2023-03-27
5. Multiparty Session Typing in Java, Deductively;Tools and Algorithms for the Construction and Analysis of Systems;2023