Keyphrases
Teaching Program
100%
Program Verification
100%
CS Curriculum
100%
Formal Verification
66%
Computer Workers
33%
Programmer
33%
Program Analysis
33%
Computer Program
33%
Computer Science Curriculum
33%
Program Synthesis
33%
Program Correctness
33%
Computer Science
Program Verification
100%
Formal Verification
100%
Computer Scientist
50%
Computer Science
50%
Program Analysis
50%
Computer Software
50%
Program Synthesis
50%
Technical Content
50%
Social Sciences
Computer Science
100%
Computer Scientist
100%
Teaching Program
100%
Arts and Humanities
Teaching Process
100%
Verification
100%
Computer Science
25%
Technical
25%
Correctness
25%