
















Web Services and Formal Methods
476,-

Web Services and Formal Methods
431,-

Requirements Engineering
584,-

Requirements Engineering
584,-

Transactions on Aspect-Oriented Software Development IX
584,-

Web Services, Formal Methods, and Behavioral Types
458,-

Tools for Practical Software Verification
476,-

Multiple Access Communications
431,-

Multiple Access Communications
584,-

Advances in Conceptual Modeling
584,-

Web Services and Formal Methods
476,-

Web Services and Formal Methods
431,-

Requirements Engineering
584,-

Requirements Engineering
584,-

Transactions on Aspect-Oriented Software Development IX
584,-

Web Services, Formal Methods, and Behavioral Types
458,-

Tools for Practical Software Verification
476,-

Multiple Access Communications
431,-

Multiple Access Communications
584,-

Advances in Conceptual Modeling
584,-