Automated Induction for Algebraic Specifications with Partial Functions and Its Application to Compiler Designs

Program
Fulbright Visiting Scholar Program
Program Country
Ukraine
Grant Activity Type
Research
Discipline
Computer Science
Academic Year
1993-1994
Flex
No
Scholar type
Non-U.S. (Visiting) Scholar

Scholar Information

Grantee
Dmitri Naidich
Title
Science Researcher
Institution
Ukrainian Academy of Sciences
Host Institutions
Institution
University of Iowa
Faculty
Dr. Hantao Zhang
Institution
University of Iowa
Faculty
Dr. Hantao Zhang
Institution
University of Iowa
Faculty
Dr. Hantao Zhang
Subscribe to