Series ended Lecture
Formal Methods for Software Systems

About the series

Presentation by Dr. Jeannette Wing, Assistant Director, Computer and Information Science and Engineering Directorate.

Past events in this series

July 9, 2007, 9:00 a.m. – 11:00 a.m.