Braga - Formal Aspects of Component Software 12th International Conf - X555z

Cabello - Software Technologies 12th International Joint Conference - X555z

Godefroid - Model Checking Software 12th International SPIN Workshop - X555z

Christakis - Software Verification 12th International Conference VS - X555z

Chechik - Fundamental Approaches to Software Engineering 12th Interna - X555z

Fraser - Search Based Software Engineering Fourth International Symp - X555z

Binder - Software Composition 12th International Conference SC 2013 - X555z

Gilbert - Fast Software Encryption 12th International Workshop FSE - X555z