Static analysis 18th international symposium, SAS 2011 Venice, Italy, September 14-16, 2011 : proceedings / Eran Yahav (ed.).

Variant title SAS 2011
SeriesLecture notes in computer science, 0302-9743 ; 6887
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2017470419
ISBN3642237010 (pbk.)
ISBN9783642237010 (pbk.)
ISBN9783642237027 (ebook)
ISBN3642237029 (ebook)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available