

Theoretical Aspects of Software Engineering
791,-

Formal Methods
611,-

Theoretical Aspects of Software Engineering
1 214,-

Modelling Foundations and Applications
584,-

Statistical Network Analysis: Models, Issues, and New Directions
584,-

Conceptual Modeling
791,-

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
584,-

Verification, Model Checking, and Abstract Interpretation
584,-

Formal Methods
674,-

Coordination Models and Languages
584,-

Theoretical Aspects of Software Engineering
791,-

Formal Methods
611,-

Theoretical Aspects of Software Engineering
1 214,-

Modelling Foundations and Applications
584,-

Statistical Network Analysis: Models, Issues, and New Directions
584,-

Conceptual Modeling
791,-

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
584,-

Verification, Model Checking, and Abstract Interpretation
584,-

Formal Methods
674,-

Coordination Models and Languages
584,-













