Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings - Programming and Software Engineering 11822 (Paperback)Bor-Yuh Evan Chang (editor)
- We can order this from the publisher
The 20 regular papers presented in this book were carefully reviewed and selected from 50 submissions.
The papers are grouped in topical sections on pointers and dataflow; languages and decidability; numerical; trends: assuring machine learning; synthesis and security; and temporal properties and termination.
Publisher: Springer Nature Switzerland AG
Number of pages: 481
Weight: 753 g
Dimensions: 235 x 155 mm
Edition: 1st ed. 2019
You may also be interested in...
Would you like to proceed to the App store to download the Waterstones App?
Please note that owing to current COVID-19 restrictions, many of our shops are closed. Find out more by clicking here.