Dimitry Ginzburg

3PUBLICATIONS
1CO-AUTHORS
Formal methods for softwareInstruments and techniquesAccelerators
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (3)

Pageof 1

Frequent Collaborators