Benjamin Lucien Kaminski

Un enfoque nuevo para comprobar la corrección de programas que usan aleatoriedad.

Una guía sobre precondiciones más débiles y postcondiciones más fuertes en programación.