Author:
Conchon Sylvain,Filliâtre Jean-Christophe
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The Trusted Computing Base of the CompCert Verified Compiler;Programming Languages and Systems;2022
2. Efficient network dismantling through genetic algorithms;Soft Computing;2021-11-19
3. Kindly bent to free us;Proceedings of the ACM on Programming Languages;2020-08-02
4. Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras;Relational and Algebraic Methods in Computer Science;2020
5. Verified Textbook Algorithms;Automated Technology for Verification and Analysis;2020