Difference between revisions of "Activity:0716"
Jump to navigation
Jump to search
| Line 6: | Line 6: | ||
* [[Study Formal methods for system specification]] | * [[Study Formal methods for system specification]] | ||
* [[Study Lambda Calculus]] | * [[Study Lambda Calculus]] | ||