discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Lobsters
How to Write a Proof (1993) Lamport
http://lamport.azurewebsites.net/pubs/lamport-how-to-write.pdf
4 comments
26/2/2018
formalmethods , math , pdf , practices