About the series
Presentation by Jeannette M. Wing, Assistant Director, Computer and Information Science and Engineering Directorate at Formal Methods 2009.
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
Secure .gov websites use HTTPS.
A lock
()
or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.
