Engineering Secure Software and Systems - 9783319944951

Engineering Secure Software and Systems 10th International Sympos

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

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

Abate - Numerical Software Verification 10th International Workshop - X555z

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

Software Engineering by Ian Sommerville, 10TH INTERNATIONAL ED – Brand New

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