Forschungstreffen 02392
Validation of Critical Software by Static Analysis and Abstract Testing
( 24. Sep – 27. Sep, 2002 )
Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite:
https://www.dagstuhl.de/02392
Organisatoren
- Patrick Cousot (ENS - Paris, FR)
- Famanta Randimbivololona (Aerospatiale - Toulouse, FR)
