Difference between revisions of "Activity:0716"
Jump to navigation
Jump to search
| Line 3: | Line 3: | ||
}} | }} | ||
[[Activity::Study RESEARCH AND DEVELOPMENT PROJECT MANAGEMENT]] | * [[Activity::Study RESEARCH AND DEVELOPMENT PROJECT MANAGEMENT]] | ||
[[Activity::Study Formal methods]] | * [[Activity::Study Formal methods for system specification]] | ||
[[Activity::Study Lambda Calculus]] | * [[Activity::Study Lambda Calculus]] | ||
* [[Activity::Study K-framework]] | |||