PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Marzullo C. Ada95 : il problema delle esecuzioni erronee. Internal note IEI-B4-40, 1995.
 
 
Abstract
(English)
No abstract available
Abstract
(Italiano)
Lo studio dei casi di esecuzione erronea in Ada95 si inquadra in un progetto piii vasto che si propone di sperimentare tecniche di verifica formale per ottenere una verifica della prcdicibilita del comportamento di programmi Ada95.
Subject ADA language
D.3 Programming languages


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional