

Testing Software and Systems
584,-

Testing Software and Systems
971,-

Testing Software and Systems
584,-

Numerical Software Verification
584,-

Verified Software. Theories, Tools and Experiments
584,-

Software Engineering for Collective Autonomic Systems
584,-

Software Engineering and Formal Methods
584,-

Hardware and Software
476,-

Engineering Trustworthy Software Systems
584,-

Software Engineering for Resilient Systems
584,-

Testing Software and Systems
584,-

Testing Software and Systems
971,-

Testing Software and Systems
584,-

Numerical Software Verification
584,-

Verified Software. Theories, Tools and Experiments
584,-

Software Engineering for Collective Autonomic Systems
584,-

Software Engineering and Formal Methods
584,-

Hardware and Software
476,-

Engineering Trustworthy Software Systems
584,-

Software Engineering for Resilient Systems
584,-














