Sepideh Asadi

1PUBLICATIONS
0CO-AUTHORS
Stochastic analysis and modelling
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Oct 13, 2023
SMT-based verification of program changes through summary repair.

Sepideh Asadi, Martin Blicha, Antti E J Hyvärinen

Pageof 1

Frequent Collaborators