Abstract collage of overlapping, bright-colored glowing circles
Series ended Lectures

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