Generalisation Operators for Abstraction-Refinement
info
|
Duration |
1st April 2009 to 31st March 2012 |
|
People |
|
|
Themes |
|
Duration |
1st April 2009 to 31st March 2012 |
|
People |
|
|
Themes |
