Difference between revisions of "Activity:0716"
Jump to navigation
Jump to search
| (7 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{Activity | {{Activity | ||
|Date=2021,07,16 | |Date=2021,07,16 | ||
|Person=@KevinTung | |||
}} | }} | ||
| Line 6: | Line 7: | ||
* [[Study Formal methods for system specification]] | * [[Study Formal methods for system specification]] | ||
* [[Study Lambda Calculus]] | * [[Study Lambda Calculus]] | ||
[[Category:Daily Document]] | |||