Enfoque práctico a la programación basada en invariantes y el editor Socos
Files
Date
2011-11-30
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario
Abstract
Keywords
Especificaciones (Formales), Invariantes, PVS, Socos, Métodos formales