Author:
Bacci Giovanni,Comini Marco,Feliú Marco Antonio,Villanueva Alicia
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Spectacular: Finding Laws from 25 Trillion Terms;2023 IEEE Conference on Software Testing, Verification and Validation (ICST);2023-04
2. Equivalence Checking of Non-deterministic Operations;Functional and Logic Programming;2018
3. Automatic Inference of Specifications in the K Framework;Electronic Proceedings in Theoretical Computer Science;2015-12-19