Holzinger - Software Technologies 9th International Joint Conference - X555z

Romanovsky - Software Engineering for Resilient Systems 9th Internat - X555z

Paskevich - Verified Software. Theories Tools and Experiments 9th - X555z

Bertacco - Hardware and Software Verification and Testing 9th Inter - X555z

Pasareanu - Formal Aspects of Component Software 9th International S - X555z

Menzies - Search Based Software Engineering 9th International Sympos - X555z

Bodden - Engineering Secure Software and Systems 9th International S - X555z

Gorton - Component-Based Software Engineering 9th International Symp - X555z