
OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies
431,-

Formal Methods and Software Engineering
584,-

Software Engineering and Formal Methods
584,-

Formal Methods and Software Engineering
584,-

ECOOP 2013 -- Object-Oriented Programming
584,-

Formal Methods and Software Engineering
584,-

Advanced Parallel Processing Technologies
584,-

Dependable Software Engineering. Theories, Tools, and Applications
584,-

Software Engineering and Formal Methods
584,-

Reuse in Emerging Software Engineering Practices
584,-

OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies
431,-

Formal Methods and Software Engineering
584,-

Software Engineering and Formal Methods
584,-

Formal Methods and Software Engineering
584,-

ECOOP 2013 -- Object-Oriented Programming
584,-

Formal Methods and Software Engineering
584,-

Advanced Parallel Processing Technologies
584,-

Dependable Software Engineering. Theories, Tools, and Applications
584,-

Software Engineering and Formal Methods
584,-

Reuse in Emerging Software Engineering Practices
584,-