The 2nd International Symposium on Symbolic, Safe and Secure System Design

The 2nd International Symposium on Symbolic, Safe and Secure System Design was held on February 26th, 2010 at Multimedia Room, 14th building, Yagami Campus, Keio University.