

Leveraging Applications of Formal Methods, Verification and Validation
584,-

Verification and Evaluation of Computer and Communication Systems
584,-

Trends in Functional Programming
458,-

Formal Aspects of Component Software
584,-

Hardware and Software
476,-

Computational Complexity and Local Algorithms
854,-

Theory and Applications of Models of Computation
584,-

Optimization and Applications
674,-

Implementation and Application of Automata
584,-

Advances in Computational Intelligence
1 124,-

Leveraging Applications of Formal Methods, Verification and Validation
584,-

Verification and Evaluation of Computer and Communication Systems
584,-

Trends in Functional Programming
458,-

Formal Aspects of Component Software
584,-

Hardware and Software
476,-

Computational Complexity and Local Algorithms
854,-

Theory and Applications of Models of Computation
584,-

Optimization and Applications
674,-

Implementation and Application of Automata
584,-

Advances in Computational Intelligence
1 124,-














