

Quantitative Evaluation of Systems
584,-

Logic-Based Program Synthesis and Transformation
791,-

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
791,-

Formal Methods in Outer Space
611,-

Frontiers of Combining Systems
791,-

Frontiers of Combining Systems
431,-

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

Logic-Based Program Synthesis and Transformation
611,-

Critical Systems
584,-

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
791,-

Quantitative Evaluation of Systems
584,-

Logic-Based Program Synthesis and Transformation
791,-

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
791,-

Formal Methods in Outer Space
611,-

Frontiers of Combining Systems
791,-

Frontiers of Combining Systems
431,-

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

Logic-Based Program Synthesis and Transformation
611,-

Critical Systems
584,-

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
791,-













