start
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
start [2018/08/22 00:08] – jonathan | start [2018/08/29 00:07] (current) – jonathan | ||
---|---|---|---|
Line 11: | Line 11: | ||
[[https:// | [[https:// | ||
- | See the **Resources** Tab for information on the required Textbook, the TLA+ and PVS tools, private Github | + | See the [[resources: |
===== Lecture Times ===== | ===== Lecture Times ===== |
start.1534896482.txt.gz · Last modified: 2018/08/22 00:08 by jonathan