|
|
 Co-financed by the European Commission |
|
MODELS AND METAMODELS FOR SOFTWARE VERIFICATION AND VALIDATION |
Instituted by
International Centre for Mechanical Sciences
and B.M. Birla Science Centre
Coordinated by
Furio Honsell, University of Udine
M. Radhakrishna, B.M. Birla Science Centre, Hyderabad
Hyderabad, 27 - 31 August 2001
Programme - Experts - Bibliography - Lectures - Project