Research Meeting 02392
Validation of Critical Software by Static Analysis and Abstract Testing
( Sep 24 – Sep 27, 2002 )
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/02392
Organizers
- Patrick Cousot (ENS - Paris, FR)
- Famanta Randimbivololona (Aerospatiale - Toulouse, FR)