E. Moreira and J.C. Campos
AI in Formal IDEs: Improving Usability or Undermining Trust?
In Blending Experiences in Interaction Design, Lecture Notes in Computer Science. Springer. (accepted) 

@InCollection{MoreiraC:2025c,
 author = {E. Moreira and J.C. Campos},
 title = {AI in Formal IDEs: Improving Usability or Undermining Trust?},
 booktitle = {Blending Experiences in Interaction Design},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 note = {accepted}
}

Generated by mkBiblio 2.6.28