PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Inverardi P., Montanari U. An execution environment for the formal definition of ADA. In: ESEC '87 - 1st European Software Engineering Conference (Strasbourg, France, September 1987). Proceedings, pp. 327 - 335. H.K. Nichols and D. Simpson (eds.). (Lecture Notes in Computer Science, vol. 289). Springer, 1987.
 
 
Abstract
(English)
This work proposes an execution environment for the formal definition of Ada, as produced by the project
Subject


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