Static analysis
9th international symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings
Gespeichert in:
Verfasser / Beitragende:
Manuel V. Hermenegildo, Germán Puebla, (eds.)
Ort, Verlag, Jahr:
Berlin [etc.] :
Springer,
2002
Beschreibung:
XI, 525 p. : ill. ; 24 cm
Format:
Buch (Kongress)