Diogo S Mendonça

1PUBLICATIONS
0CO-AUTHORS
Formal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Apr 16, 2024
An empirical investigation on the challenges of creating custom static analysis rules for defect localization.

Diogo S Mendonça, Marcos Kalinowski

Pageof 1

Frequent Collaborators