9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 38-57
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 58-73
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 74-89
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 90-105
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 106-121
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 122-137
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 138-154
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 155-171
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 172-187
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 188-203
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 204-220