Safety Markup Language: Concept and Application.

Chin-Feng Fan, Swu Yih

Browse the full SAFECOMP paper archive.