Books

String Analysis for Software Verification and Security String Analysis for Software Verification and Security
2018
Web Services and Formal Methods Web Services and Formal Methods
2011