LEADER 01788nam0 22003973i 450 
001 AQ10003242
005 20251003044040.0
010   $a0387572643$bNew York
010   $a3540572643$bBerlin
100   $a20111216d1993    ||||0itac50      ba
101 | $aeng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
183  1$6z01$anc$2RDAcarrier
200 1 $aStatic analysis$ethird international workshop, WSA '93$ePadova, Italy, September 22-24, 1993$eproceedings$fPatrick Cousot ... [et al.] (eds.)
210   $aBerlin [etc.]$cSpringer$dc1993
215   $aIX, 283 p.$d24 cm
225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v724
410  0$1001MIL0030703$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v724$1702 1$aGoos$b, Gerhard$3AQ1V006441$4340
606   $aELABORATORI ELETTRONICI$xPROGRAMMAZIONE$xCONGRESSI$x1993$2FIR$3MILC077080$9I
676   $a005.1$9PROGRAMMAZIONE$v14
676   $a005.1$9PROGRAMMAZIONE$v22
696   $aConvegni$aCongressi e convegni
699   $aCongressi$yConvegni
699   $aCongressi$yCongressi e convegni
702  1$aCousot$b, Patrick$f <1948-    >$3AQ1V001698
710 12$aInternational workshop WSA '93$d <3.$f ; 1993$e ; Padova>$3AQ1V001697$4070$0714574
791 12$aWorkshop on Static Analysis$d <3.$f ; 1993$e ; Padova>$3AQ1V001699$zInternational workshop WSA '93 <3. ; 1993 ; Padova>
801  3$aIT$bIT-000000$c20111216
850   $aIT-BN0095          
912   $aAQ10003242
950  0$aBiblioteca Centralizzata di Ateneo$c193 v.$d 01COLL.     ING.                    LNCS$e 0102 0000013055  VMA A4724                 v. 724$fY $h19940908$i20111216
977   $a 01
996   $aStatic analysis$91381902
997   $aUNISANNIO