Browsing by Journal Title IEEE 6th International Conference on Software Security and Reliability, SERE 2012

Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)
2012Message from the MVV workshop chairs: The Fourth international workshop on model-based verification & validationTuğlular, Tuğkan ; Linschulte, Michael