hwayne/awesome-cold-showers
1
1
Fork 0
mirror of https://github.com/hwayne/awesome-cold-showers.git synced 2024-11-22 11:53:55 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #14 from ahnberg/master

Browse Source 
Changed URL to "Verification Techniques" material
This commit is contained in:
Hillel Wayne 2020-08-06 12:04:31 -05:00 committed by GitHub
commit 1c8b91d9fe
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -12,7 +12,7 @@ It's great when people get excited about things, but sometimes they get a little
* **Caveats:** Written in 2000 and doesn't cover modern tools/techniques, such as TLA+ or dependent typing.
* **Notes:** Part of [Peter Gutmann](https://www.cs.auckland.ac.nz/~pgut001/)'s thesis, "The Design and Verification of a Cryptographic Security Architecture".
* **Notes:** Part of [Peter Gutmann](https://www.cs.auckland.ac.nz/~pgut001/)'s thesis, "The Design and Verification of a Cryptographic Security Architecture". The whole thesis can be found [here](https://archive.org/details/springer_10.1007-b97264/mode/2up).
#### [Static vs Dynamic Typing: a literature review](https://danluu.com/empirical-pl/)