Author:
Besson Frédéric,Cachera David,Jensen Thomas,Pichardie David
Publisher
Springer Berlin Heidelberg
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Spy game: verifying a local generic solver in Iris;Proceedings of the ACM on Programming Languages;2020-01
2. Certified Information Flow Analysis of Service Implementations;2018 IEEE 11th Conference on Service-Oriented Computing and Applications (SOCA);2018-11
3. Certifying execution time in multicores;Science of Computer Programming;2015-11
4. Certifying Execution Time;Foundational and Practical Aspects of Resource Analysis;2012
5. Verified squared;ACM SIGPLAN Notices;2011-01-26