Cite

HARVARD Citation

    MESNARD, F. et al. (2020). Concolic Testing in CLP. Theory and practice of logic programming. 20 (5), pp. 671-686. [Online]. 
  
Back to record