Andreescu, Oana Fabiana, 1987-....
VIAF ID: 100151836562320401026 ( Personal )
Permalink: http://viaf.org/viaf/100151836562320401026
Preferred Forms
Works
Title | Sources |
---|---|
Static analysis of functional programs with an application to the frame problem in deductive verification |