Difference between revisions of "Activity:0716"
Jump to navigation
Jump to search
| Line 8: | Line 8: | ||
* [[Activity::Study K-framework]] | * [[Activity::Study K-framework]] | ||
{{#ask: [[Activity | {{#ask: [[Activity:+]]}} | ||
Revision as of 06:45, 17 July 2021
| Date | 2021,07,16 |
|---|---|
| Person |
- Study RESEARCH AND DEVELOPMENT PROJECT MANAGEMENT
- Study Formal methods for system specification
- Study Lambda Calculus
- Study K-framework
<ul><li>The part "]]" of the query was not understood.Results might not be as expected.</li> <!--br--><li>Some subquery has no valid condition.</li></ul>