Diagnosing Runtime Violations of Security & Dependability Properties.

Theocharis Tsigkritis, George Spanoudakis

Browse the full SEKE paper archive.