[email protected]
Red Hat Brno, Czech Republic
Kamil Dudka
A Shape Analyzer Based on Symbolic Memory Graphs
kdudka