Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings / Radhia Cousot (ed.).
Title:
Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings / Radhia Cousot (ed.).
Conference Author:
Publication:
Berlin ; New York : Springer, 2003.
Publication Date:
2003
ISBN:
9783540403258
Series Search:
Bibliography Note:
Includes bibliographical references and index.
Content Type:
text
Carrier Type:
volume
MSU Volume:
2694
Added Author:
Language:
English
No. of Holds:
