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
Azken aldaketa: astelehena, 2012(e)ko abenduaren 3(e)an, 14:08(e)tan