First International Conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003, Selected Revised Papers
Lecture Notes in Computer Science > Software Engineering Research and Applications > Formal Methods > 7-33
Lecture Notes in Computer Science > Software Engineering Research and Applications > Formal Methods > 34-50
Lecture Notes in Computer Science > Software Engineering Research and Applications > Formal Methods > 51-73