Software Reuse : Methods, Techniques, and Tools : 7th International Conferenc...

Gurfinkel - Verified Software Theories Tools and Experiments 7th - X555z

Software Reuse : Methods, Techniques, and Tools : 7th International Conferenc...

Lau - Formal Methods and Software Engineering 7th International Conf - X555z

Ustalov - Artificial Intelligence and Natural Language 7th Internati - X555z

Shankar - Pattern Recognition and Machine Intelligence 7th Internati - X555z

Miguel - Abstraction Reformulation and Approximation 7th Internati - X555z

Eremeev - Optimization Problems and Their Applications 7th Internati - X555z