Abstract collage of overlapping, bright-colored glowing circles
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.