You are here

Best Paper Award at the FSEN'09

News date: 
Tuesday, 17 March, 2009

Viktor Shuppan won the best paper award for his paper on unsatisfiable cores at FSEN'09.