Event ended Lecture
Formal Methods for Software Systems

About this event

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