Author:
Bartoletti M.,Degano P.,Ferrari G.L.
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards effective preservation of robust safety properties;Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing;2022-04-25
2. Automated Temporal Verification for Algebraic Effects;Programming Languages and Systems;2022
3. A generic type system for featherweight Java;Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs;2021-07-11
4. Security-aware Business Process as a Service by hiding provenance;Computer Standards & Interfaces;2016-02
5. Compositional Typed Analysis of ARBAC Policies;2015 IEEE 28th Computer Security Foundations Symposium;2015-07