

Logic-Based Program Synthesis and Transformation
791,-

Descriptional Complexity of Formal Systems
584,-

Formal Methods for Industrial Critical Systems
584,-

Logic-Based Program Synthesis and Transformation
584,-

Human-Computer Interaction. Theory, Methods and Tools
1 124,-

Formal Methods in Outer Space
611,-

Formal Modeling and Analysis of Timed Systems
584,-

Natural Language Processing and Information Systems
584,-

Quantitative Evaluation of Systems
791,-

Rigorous State-Based Methods
791,-

Logic-Based Program Synthesis and Transformation
791,-

Descriptional Complexity of Formal Systems
584,-

Formal Methods for Industrial Critical Systems
584,-

Logic-Based Program Synthesis and Transformation
584,-

Human-Computer Interaction. Theory, Methods and Tools
1 124,-

Formal Methods in Outer Space
611,-

Formal Modeling and Analysis of Timed Systems
584,-

Natural Language Processing and Information Systems
584,-

Quantitative Evaluation of Systems
791,-

Rigorous State-Based Methods
791,-











