Author:
Filliâtre Jean-Christophe,Paskevich Andrei
Publisher
Springer International Publishing
Reference17 articles.
1. Abrial, J.-R.: The B-Book, Assigning Programs to Meaning. Cambridge University Press, Cambridge (1996)
2. Lecture Notes in Computer Science,2016
3. Lecture Notes in Computer Science;D Ancona,1996
4. Bloom, B.H.: Space/time trade-offs in hash coding with allowable errors. Commun. ACM 13(7), 422–426 (1970)
5. Chrzaszcz, J.: Modules in Type Theoryx with Generative Definitions. Ph.D. thesis, Warsaw University, Poland and Université de Paris-Sud (January 2004)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The WhyRel Prototype for Modular Relational Verification of Pointer Programs;Tools and Algorithms for the Construction and Analysis of Systems;2023
2. Automated formal analysis of temporal properties of Ladder programs;International Journal on Software Tools for Technology Transfer;2022-11-01
3. Cameleer: A Deductive Verification Tool for OCaml;Computer Aided Verification;2021
4. Who Carries the Burden of Modularity?;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020