Record:   Prev Next
Author International Workshop on Static Analysis (3rd : 1993 : Padova, Italy)
Title Static analysis : third international workshop, WSA '93, Padova, Italy, September 22-24, 1993 : proceedings / Patrick Cousot ... [et al.]
Imprint Berlin ; New York : Springer-Verlag, c1993
book jacket
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  SerPro F3.3 S797 1993  LNCS 724    LIB USE ONLY    30330000093117
 Mathematics Library  QA75.5 .L42  v.724    AVAILABLE    30340200301947
Record:   Prev Next