Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday - Reps, Thomas; Sagiv, Mooly; Bauer, Jorg.; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007)
Keywords: Computer programs -- Verification -- Congresses; Compilers (Computer programs) -- Congresses; Computer programming -- Congresses; Computer Science; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Software Engineering; Mathematical Logic and Formal Languages; Programming Techniques