June 13: Relational invariants as solutions of non-linear constrained Hoare clauses systems

Dmitry Mordvinov

Dmitry Mordvinov

Dmitry Mordvinov — Ph.D. student at Saint-Petersburg State University, JetBrains Research.

The seminar will be at Ivannikov Institute for System Programming of Russian Academy of Sciences at 5p.m. on June 13.

Leave a Reply