Cite this
Email this
Export Record
Save to List
Order a print copy

Static analysis : 20th international symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013 : proceedings

This book constitutes the thoroughly refereed proceedings of the 20th International symposium on static analysis, SAS 2013, held in Seattle, WA, USA, in June 2013. The 23 revised full papers presented together with 2 invited talks were selected from 56 submissions. The papers address all aspects of...

Full description

Saved in:
Bibliographic Details
Other Authors: Logozzo, Francesco (Editor)
Fähndrich, Manuel (Editor)
Corporate Author: SpringerLink (online služba) (Distributor) 
Conference: International Static Analysis Symposium (20. : 2013 : Seattle, Washington, Spojené státy americké)
Format: eBook
Language:English
Published: Heidelberg ; Dordrecht ; London ; New York : Springer, 2013
Series:Lecture notes in computer science
Genre/form:elektronické knihy
sborníky konferencí
ISBN:978-3-642-38856-9
978-3-642-38855-2
Subjects:
Online Access:Plný text
Tags: Add Tag
No Tags, Be the first to tag this record!
Cover Image

Internet

Plný text
Status Sublibrary Description Location LCC Call number Old Call number