Static analysis
10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings
Gespeichert in:
Verfasser / Beitragende:
Radhia Cousot (ed.)
Ort, Verlag, Jahr:
Berlin [etc.] :
Springer,
2003
Beschreibung:
XIV, 503 p. : fig. ; 24 cm
Format:
Buch (Kongress)