Author:
Fortin Jean,Gava Frédéric
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Theoretical Computer Science,Software
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verified Scalable Parallel Computing with Why3;Software Engineering and Formal Methods;2023
2. Safe usage of registers in BSPlib;Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing;2019-04-08
3. A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq;ACM SIGPLAN Notices;2017-10-31
4. A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq;Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell;2017-09-07
5. Automated Generation of BSP Automata;Parallel Processing Letters;2017-03