Murphy Berzish
where else to find them
github:mtrberzi
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
never shared a talk
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Formal Methods for Everyone: Practical Tools for Computer-Aided Reasoning | StarCon 2018 | 2018-01-06 |
Concrete outcomes: Z3 SMT solver is used (Python, C/C++, Java bindings) to decide satisfiability over integers, strings, bitvectors and floating point and to… | ||
| nothing matches | ||