Publications
Filter by
Open menu
1 result for
Anton Belov
Small inductive safe invariants
Alexander Ivrii
Arie Gurfinkel
et al.
2014
FMCAD 2014