Skip to main navigation
Skip to search
Skip to main content
Korea University Home
Home
Profiles
Research Units
Research output
Press / Media
Search by expertise, name or affiliation
Pet formalisms versus industry-proven survivors: Issues on formal methods education
S. D. Cha
Research output
:
Contribution to journal
›
Article
›
peer-review
1
Citation (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Pet formalisms versus industry-proven survivors: Issues on formal methods education'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Business & Economics
Formal Methods
100%
Survivors
89%
Formalism
72%
Education
43%
Software Engineering
43%
Curriculum
29%
Industry
26%
Engineering Education
21%
Software Quality
18%
Empirical Data
12%
Engineers
12%
Acceptance
11%
Software
9%
Engineering & Materials Science
Formal methods
85%
Education
62%
Industry
32%
Curricula
30%
Software engineering
23%
Flavors
19%
Engineering education
17%
Software quality
16%
Engineers
10%