

Verification, Model Checking, and Abstract Interpretation
584,-

Functional and Logic Programming
584,-

Modelling Foundations and Applications
584,-

Formal Methods
611,-

Theoretical Aspects of Software Engineering
791,-

Theoretical Aspects of Software Engineering
1 214,-

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

Graph Transformation, Specifications, and Nets
584,-

Parallel Processing and Applied Mathematics, Part II
584,-

Verification, Model Checking, and Abstract Interpretation
584,-

Verification, Model Checking, and Abstract Interpretation
584,-

Functional and Logic Programming
584,-

Modelling Foundations and Applications
584,-

Formal Methods
611,-

Theoretical Aspects of Software Engineering
791,-

Theoretical Aspects of Software Engineering
1 214,-

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

Graph Transformation, Specifications, and Nets
584,-

Parallel Processing and Applied Mathematics, Part II
584,-

Verification, Model Checking, and Abstract Interpretation
584,-












