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
Última modificación: lunes, 3 de diciembre de 2012, 14:08