Software Quality : Methods and Tools for Better Software and Systems; 10th In...

Dependable Software Engineering. Theories, Tools, and Applications: 10th Interna

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

Software Engineering and Formal Methods: 10th International Conference, SEFM 201

Software Engineering and Formal Methods : 10th International Conference, Sefm...

Software Environments & Tools Ser.: Spectral Methods in MATLAB, Lloyd Trefethen

Software Engineering and Formal Methods : 10th International Conference, Sefm...

KORSO: Methods, Languages, and Tools for the Construction of Correct Software: F