Vadim Zaytsev
1PUBLICATIONS
0CO-AUTHORS
Get your video featured.
Publish with JoVEGet your video featured.
Publish with JoVE
Publications (1)
Sort by Publication Date:
|Jul 29, 2025
Extract, model, refine: improved modelling of program verification tools through data enrichment.Sophie Lathouwers, Yujie Liu, Vadim Zaytsev
Pageof 1
