Author:
Alpuente María,Feliú Marco A.,Villanueva Alicia
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Spectacular: Finding Laws from 25 Trillion Terms;2023 IEEE Conference on Software Testing, Verification and Validation (ICST);2023-04
2. Symbolic Abstract Contract Synthesis in a Rewriting Framework;Logic-Based Program Synthesis and Transformation;2017
3. Automatic Inference of Specifications in the K Framework;Electronic Proceedings in Theoretical Computer Science;2015-12-19
4. From Rewriting Logic, to Programming Language Semantics, to Program Verification;Lecture Notes in Computer Science;2015
5. Shape Analysis via Second-Order Bi-Abduction;Computer Aided Verification;2014