Engineering Secure Software and Systems - 9783319944951

Ortiz - Web Reasoning and Rule Systems 10th International Conference - X555z

Jrjens - Engineering Secure Software and Systems 5th International - X555z

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

Abate - Numerical Software Verification 10th International Workshop - X555z

Aher - Logic Language and Computation 10th International Tbilisi S - X555z

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

Peixoto - Biomedical Engineering Systems and Technologies 10th Inter - X555z