Static analysis 4th international symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings / Pascal van Hentenryck, ed.

SeriesLecture notes in computer science, 0302-9743 ; 1302
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 97030415
ISBN3540634681 (pbk. : alk. paper)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available