

Automated Technology for Verification and Analysis
584,-

Euro-Par 2023
971,-

Euro-Par 2022
737,-

Fundamental Approaches to Software Engineering
431,-

Software Technology
584,-

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

Biomedical Applications Based on Natural and Artificial Computing
584,-

Fundamental Approaches to Software Engineering
431,-

Fundamentals of Software Engineering
584,-

Human-Centered Software Engineering
737,-

Automated Technology for Verification and Analysis
584,-

Euro-Par 2023
971,-

Euro-Par 2022
737,-

Fundamental Approaches to Software Engineering
431,-

Software Technology
584,-

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

Biomedical Applications Based on Natural and Artificial Computing
584,-

Fundamental Approaches to Software Engineering
431,-

Fundamentals of Software Engineering
584,-

Human-Centered Software Engineering
737,-













