PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bolognesi T. Correctness Preserving Transformation. Project ESPRIT 2304 - LotoSphere - Task 1.2 Second Deliverable, doc. Lo/WP1/T1.2/N33, April 1991. (T. Bolognesi e' co-autore di Preface, Chapters 1, 3, 5, 8.), Internal note IEI-B4-51, 1991.
 
 
Abstract
(English)
No abstract available
Subject



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