%0 Book %A Alan Mycroft )ed.( %T Static analysis : Second International Symposium, SAS'95 Glasgow, UK, September 25-27, 1995 : proceedings %U /book/101369260/Static-analysis-Second-International-Symposium/