Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings - Lecture Notes in Computer Science 11822 (Paperback)Bor-Yuh Evan Chang (editor)
- We can order this
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?