Author:
Barthe Gilles,Gaboardi Marco,Arias Emilio Jesús Gallego,Hsu Justin,Roth Aaron,Strub Pierre-Yves
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Barrett, C., Sebastini, R., Seshia, S.A., Tinelli, C.: Satisfiability modulo theories. In: Handbook of satisfiability, vol. 185. IOS press (2009)
2. Lecture Notes in Computer Science;G Barthe,2011
3. Lecture Notes in Computer Science;G Barthe,2014
4. Barthe, G., Gaboardi, M., Gallego Arias, E.J., Hsu, J., Roth, A., Strub, P.-Y.: Higher-order approximate relational refinement types for mechanism design and differential privacy. In: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), Mumbai, India, pp. 55–68 (2015). http://arxiv.org/abs/1407.6845
5. Lecture Notes in Computer Science;M Bellare,2006
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献