9. ICFEM 2007: Boca Raton, FL, USA

Invited Talks

Security and Knowledge

Embedded Systems

Testing

Automated Analysis

Hardware

Concurrency