00501nam a2200133Ia 4500008004100000020002200041041001200063100003400075245002000109260003200129440003800161650002100199650014700220231221s9999    xx            000 0 und d  a978-3-642-33125-1  aEnglish  aAntoine Miné, David Schmidt 0aStatic Analysis  c2012bSpringer USaNew York  aLecture Notes in Computer Science  aComputer Science  aLogics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages