by Pietro Braghieri
Mar 17, 2009
Viktor Shuppan won the best paper award for his paper on unsatisfiable cores at FSEN’09.
