Safe & Sec Case Patterns.

Kenji Taguchi, Daisuke Souma, Hideaki Nishihara

Browse the full SAFECOMP paper archive.