Formal and Knowledge-Based Techniques for Building Software Specifications
Program
Fulbright U.S. Scholar Program
Grant Activity Type
Research
Dates
-
Project Title
Formal and Knowledge-Based Techniques for Building Software Specifications
Scholar Information
Title
Assistant Professor
Department
Department of Computer Science