Software Engineering and Formal Specifications
Program
Fulbright U.S. Scholar Program
Grant Activity Type
Lecturer
Dates
-
Project Title
Software Engineering and Formal Specifications
Scholar Information
Title
Principal Research Scientist
Department
Laboratory for Computer Science