Header y ejemplos para implementar precondiciones y postcodiciones en programas de C usando especificaciones formales
Nueva version header "hoare.h", reemplaza a "triplets.h" para implementar precondiciones y postcodiciones en programas de C usando especificaciones formales