Author:
Cataño Néstor,Wahls Tim,Rueda Camilo,Rivera Víctor,Yu Danni
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation;iFM 2023;2023-11-06
2. Program Synthesis for Cyber-Resilience;IEEE Transactions on Software Engineering;2023-03-01
3. B-PERFect;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2017
4. Code generation for Event-B;International Journal on Software Tools for Technology Transfer;2015-05-06
5. Translating event-B to JML-specified Java programs;Proceedings of the 29th Annual ACM Symposium on Applied Computing;2014-03-24