New Approaches to Security and Model Checking
Sponsors
|
info
|
Duration |
1st January 2009 to 31st December 2009 |
|
People |
|
|
Themes |
