scholarly journals Practical Machine-Checked Formalization of Change Impact Analysis

Author(s):  
Karl Palmskog
Author(s):  
Renan Pereira Biazini ◽  
Ronaldo Celso Messias Correia ◽  
Danilo Medeiros Eler ◽  
Rogerio Eduardo Garcia

Sign in / Sign up

Export Citation Format

Share Document