- Prodotto
- Transformational Verification of Linear Temporal Logic (Contributo in atti di convegno) (Prodotto della ricerca)
- Information Science and Technology for the New Century (Monografia o trattato scientifico) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1401)
- Transformational Verification of Linear Temporal Logic (Rapporti progetti di ricerca) (Prodotto della ricerca)
- The Transformational Approach to Program Development (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs (Abstract in rivista) (Prodotto della ricerca)
- Totally Correct Logic Program Transformations Via Well-Founded Annotations (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Deciding Full Branching Time Logic by Program Transformation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Program Transformation: Theoretical Foundations and Basic Techniques (Part 2) (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
Incoming links:
- Prodotto di
- Deciding Full Branching Time Logic by Program Transformation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Program Transformation: Theoretical Foundations and Basic Techniques (Part 2) (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Transformational Verification of Linear Temporal Logic (Contributo in atti di convegno) (Prodotto della ricerca)
- Information Science and Technology for the New Century (Monografia o trattato scientifico) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1401)
- Totally Correct Logic Program Transformations Via Well-Founded Annotations (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Transformational Verification of Linear Temporal Logic (Rapporti progetti di ricerca) (Prodotto della ricerca)
- The Transformational Approach to Program Development (Rapporti progetti di ricerca) (Prodotto della ricerca)
- Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs (Abstract in rivista) (Prodotto della ricerca)
