12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Web Services and Workflow > 106-121
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Web Services and Workflow > 122-137
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Web Services and Workflow > 138-154
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Web Services and Workflow > 155-170