Activity:0716
Jump to navigation
Jump to search
| 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>