8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Testing and Model Checking > 460-477
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Testing and Model Checking > 478-493
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Testing and Model Checking > 494-513
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Testing and Model Checking > 514-528
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Testing and Model Checking > 529-548
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Testing and Model Checking > 549-567