Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Alessandro Abate
Download Now
Format: eBook (EPUB)
Static Analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings
Francesco Ranzato
Download Now
Format: eBook (EPUB)
String Analysis for Software Verification and Security
Tevfik Bultan
Download Now
Format: eBook (EPUB)
Software Fault Detection and Correction: Modeling and Applications
Rui Peng
Download Now
Format: eBook (EPUB)