http://www.dagstuhl.de/02392

September 24 – 27 , 2002, Event 02392

Validation of Critical Software by Static Analysis and Abstract Testing

Organizers

Patrick Cousot (ENS – Paris, FR)
Famanta Randimbivololona (Aerospatiale – Toulouse, FR)

For support, please contact

Heike Clemens

Documents

External Homepage

Online Publications

We offer several possibilities to publish the results of your event. Please contact marc.herbstritt(at)dagstuhl.de if you are interested.

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf in the library.