↓ Skip to main content

Functional and Logic Programming

Overview of attention for book
Attention for Chapter 13: An SMT-Based Concolic Testing Tool for Logic Programs
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
1 Mendeley