https://www.sc.ehu.es/jiwlucap/MP.html

https://en.wikipedia.org/wiki/Formal_verification

https://en.wikipedia.org/wiki/Design_by_contract

https://en.wikipedia.org/wiki/Collatz_conjecture

https://blogs.elpais.com/turing/2012/07/es-posible-construir-software-que-no-falle.html
Last modified: Monday, 3 December 2012, 2:08 PM