Describir: Taller de especificación, construcción y verificación formales de Programas :propuesta y experiencias