 |
 |
 |
 |
||
|
|
||
|
|||
|
|||
|
Technical Reports - Bo Guo A Rewrite-based Approach for Change Impact Analysis of
Communicating Systems using a Theorem Prover (cst-2008-3) |
|||
| © 2008 UNO Computer Science, all rights reserved | |||
|
|
|
|
|
|
||
|
|
||
|
|||
|
|
|||
|
Technical Reports - Bo Guo A Rewrite-based Approach for Change Impact Analysis of
Communicating Systems using a Theorem Prover (cst-2008-3) |
|||
| © 2008 UNO Computer Science, all rights reserved | |||