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.