tevfik bultan
String Analysis for Software Verification and Security
DigitalSofort lieferbarThis book discusses automated string-analysis techniques, focusing particularly on automata-ba...
Web Services and Formal Methods
TaschenbuchPrint on DemandThis book constitutes the thoroughly refereed post-workshop proceedings of the 7th International ...
String Analysis for Software Verification and Security
BuchPrint on DemandThis is the first existing book focusing on string analysis Discusses how string analysis techniq...
String Analysis for Software Verification and Security
TaschenbuchPrint on DemandThis is the first existing book focusing on string analysis Discusses how string analysis techniq...
- 1