×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Rival, Xavier (ed.), Static analysis. 23rd international symposium, SAS 2016, Edinburgh, UK, September 8–10, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-53412-0/pbk; 978-3-662-53413-7/ebook). Lecture Notes in Computer Science 9837, 170-188 (2016).
MSC:  68N20 68Q17
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Year of Publication
Classification
Software