Data di Pubblicazione:
1999
Abstract:
The aim of an recently begun IEI project is to experiment with the idea that a deductive approach can successfully be adopted to support the verification of properties of programs written in high level languages.
Tipologia CRIS:
01.01 Articolo in rivista
Keywords:
Software/program verification. Formal methods; Specifying and verifying and reasoning about programs
Elenco autori:
Asirelli, Patrizia; Mazzanti, Franco
Link alla scheda completa:
Pubblicato in: