SStatic AnalysisStatic Analysisde Hanne Riis Nielson, Gilberto FiléEdiciones (1)Static Analysis (2007)Springer London, Limited · inglés · ISBN 9783540740612Más obras de Hanne Riis NielsonSemantics with applicationsType and effect systemsFormal MethodsCoordination Models and Languages