Static analysis

10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings

Verfasser / Beitragende:
Radhia Cousot (ed.)
Ort, Verlag, Jahr:
Berlin [etc.] : Springer, 2003
Beschreibung:
XIV, 503 p. : fig. ; 24 cm
Format:
Buch (Kongress)
ID: 228902886