For more information please contact Organizing chair SERENE 2011:
| Prof. Didier Buchs
Software Modelling and Verification Laboratory Computer Science Department University of Geneva |
|
| Fax: | fax: +41(22)379 0079 |
| Email: | Didier.Buchs at unige.ch |
For more information please contact Organizing chair SERENE 2011:
| Prof. Didier Buchs
Software Modelling and Verification Laboratory Computer Science Department University of Geneva |
|
| Fax: | fax: +41(22)379 0079 |
| Email: | Didier.Buchs at unige.ch |