Commits · e14cf50b0f1cf86dc78beff9be3475fe41b703ea · W. Spencer Smith / se2aa4_cs2me3 · GitLab

Snippets Groups Projects

Mar 20, 2018
- Updates to Intro to Verification slides · 4f766297
  W. Spencer Smith authored 7 years ago
  
  4f766297
Mar 19, 2018
- Modify Parnas Tables to use uncover · c9e44d85
  W. Spencer Smith authored 7 years ago
  
  c9e44d85
- Edits to Parnas Tables lecture · 6d256c75
  W. Spencer Smith authored 7 years ago
  
  6d256c75
Mar 16, 2018
- Addition of note on academic integrity to Parnas table lecture · b331102c
  W. Spencer Smith authored 7 years ago
  
  b331102c
Mar 15, 2018
- Initial edits to Parnas Tables lecture · b7ed59c0
  W. Spencer Smith authored 7 years ago
  
  b7ed59c0
Dec 20, 2017
- Modifications toward preparation for 2018 version of course · b587f0dd
  W. Spencer Smith authored 7 years ago
  
  b587f0dd
Mar 15, 2017
- Updates to L28 (Parnas Tables). · a6e2195b
  W. Spencer Smith authored 8 years ago
  
  a6e2195b
- Addition of midterm exam and L28 material · 3d4c0df6
  W. Spencer Smith authored 8 years ago
  
  3d4c0df6