SERENE 2014 School: Luigi pomante serene2014_school
SERENE 2014 School: System-Level Concurrent Error Detection