E. Moreira and J.C. Campos
On the use of LLMs to explain model checking counterexamples
In Engineering Interactive Computer Systems, Lecture Notes in Computer Science. Springer. (accepted) 

@InCollection{MoreiraC:2025b,
 author = {E. Moreira and J.C. Campos},
 title = {On the use of LLMs to explain model checking counterexamples},
 booktitle = {Engineering Interactive Computer Systems},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 note = {accepted}
}

Generated by mkBiblio 2.6.28