Software Analysis, Testing, and Evolution : 8th International Conference, Sat...

Analysis of Images, Social Networks and Texts : 8th International Conference,...

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FOR

Analysis of Images, Social Networks and Texts : 8th International Conference,...

Software Analysis, Testing, and Evolution: 8th International Conference, SATE 20

Image Analysis and Recognition: 8th International Conference, ICIAR 2011, Burnab

Bu - Software Analysis Testing and Evolution 8th International Con - X555z

Theory and Applications of Satisfiability Testing: 8th International Conference,