Frédéric Mesnard
Université de la Reunion
H-index: 14
Africa-Reunion
Top articles of Frédéric Mesnard
NTI+ cTI: a Logic Programming Termination Analyzer
2023/8/24
Frédéric Mesnard
H-Index: 7
An SMT-based concolic testing tool for logic programs
2020/9/2