Payer - Engineering Secure Software and Systems 10th International S - X555z

Abate - Numerical Software Verification 10th International Workshop - X555z

Liu - Formal Methods and Software Engineering 10th International Con - X555z

Attiogb - Model and Data Engineering 10th International Conference - X555z

Lorenz - Software Technologies 10th International Joint Conference - X555z

Wu - Advanced Parallel Processing Technologies 10th International Sy - X555z

Eleftherakis - Software Engineering and Formal Methods 10th Internat - X555z

Ball - Model Checking Software 10th International SPIN Workshop. Por - X555z