Author:
Barthe Gilles,Dybjer Peter,Pinto Luís,Saraiva João
Publisher
Springer Berlin Heidelberg
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A rewriting framework for the composition of access control policies;Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming;2008-07-15
2. Pure patterns type systems;ACM SIGPLAN Notices;2003-01-15
3. Tool-Assisted Specification and Verification of the JavaCard Platform;Algebraic Methodology and Software Technology;2002