Publisher
Springer Berlin Heidelberg
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Type-Level Property Based Testing;Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development;2024-08-28
2. Completeness Thresholds for Memory Safety of Array Traversing Programs;Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis;2023-06-06
3. Real-world K-Anonymity applications: The KGen approach and its evaluation in fraudulent transactions;Information Systems;2023-05
4. A Runtime Verification Tool for Distributed Simulation Systems;Communications in Computer and Information Science;2022
5. Learning Büchi Automata and Its Applications;Engineering Trustworthy Software Systems;2019