Or Reginiano
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Avraham Ravivonce
- Eliya Bronshteinonce
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Formal Verification through Python – Why and How? | PyCon Israel 2022 | 2022-06-28 |
Formal verification (FV) can prove the correctness of algorithms and systems and so ensure safety. Since FV tools are not easy to use, we will show examples… | ||
| nothing matches | ||