Practical Machine-Checked Formalization of Change Impact Analysis
2010 ◽
Vol 54
(3-4)
◽
pp. 111
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):