SStatic AnalysisStatic Analysisde María Alpuente, Germán Vidal-OriolaMateriasComputer programmingProgramming languages (electronic computers)Ediciones (1)Static Analysis (2008)Springer London, Limited · inglés · ISBN 9783540691662Más obras de María AlpuenteLogic-Based Program Synthesis and Transformation