Diego Marcilio
1PUBLICATIONS
0CO-AUTHORS
Get your video featured.
Publish with JoVEGet your video featured.
Publish with JoVE
Publications (1)
Sort by Publication Date:
|Dec 28, 2023
Lightweight precise automatic extraction of exception preconditions in java methods.Diego Marcilio, Carlo A Furia
Pageof 1
