scholarly journals Practical Machine-Checked Formalization of Change Impact Analysis

Author(s):  
Karl Palmskog
Sign in / Sign up

Export Citation Format

Share Document