00742cam a2200181 a 450000500170000000800410001702000150005803500150007305000230008811100740011124501350018526000370032030000110035744000490036865000580041765000610047570000240053620260818222259.0960404s1995    gw      r     100|0 eng |  a3540603603  a.b1147928000aQA76.6bI5733 19952 aInternational Static Analysis Symposiumn(2nd :d1995 :cGlasgow, UK)10aStatic analysis :bSecond International Symposium, SAS '95, Glasgow, UK, September 25-27, 1995 : proceedings /cAlan Mycroft (ed.)  aBerlin :bSpringer-Verlag,c1995  a421 p. 0aLecture notes in computer science ;vno. 983 0aElectronic digital computersxProgrammingvCongresses 0aProgramming languages (Electronic computers)vCongresses1 aMycroft, Alan,eed.