Recientemente recibí el encargo de preparar una clase para la Universidad sobre “ESC/Java”. La especificación que se me dio era tan sencilla como “prepara una clase de ESC/Java con contenido teórico-práctico”. Ya impartí la clase y me ha parecido interesante realizar un post acerca de la verificación formal de código y la supuesta utilidad de

(Read More…)