Title: Verificación de programas y metodología de la programación
Subjects: Computer programming, Computer programs, Pascal (Computer program language), Verification