Formal Methods and Software Engineering 9th International Confere

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

Hojjat - Fundamentals of Software Engineering 9th International Conf - X555z

Formal Methods and Software Engineering: 9th International Conference on Formal

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

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

Nikolov - Numerical Methods and Applications 9th International Confe - X555z

Derrick - Integrated Formal Methods 9th International Conference IF - X555z