Modular Verification

Program
Fulbright Visiting Scholar Program
Program Country
Grant Activity Type
Research
Discipline
Academic Year
Flex
No
Scholar type
Non-U.S. (Visiting) Scholar
Project Title
Modular Verification

Scholar Information

Grantee
Limor Fix
Title
Instructor
Department
Department of Computer Science
Host Institutions
Institution
Faculty
Dr. F. Schneider
Host Department
Department of Computer Science
Institution
Faculty
Dr. F. Schneider
Host Department
Department of Computer Science