The following pages link to Stefano Zacchiroli (Q476171):
Displaying 13 items.
- Aeolus: a component model for the cloud (Q476172) (← links)
- Spurious disambiguation errors and how to get rid of them (Q841693) (← links)
- User interaction with the Matita proof assistant (Q2462635) (← links)
- Tinycals: Step by Step Tacticals (Q2867943) (← links)
- A Model Driven Approach to Upgrade Package-Based Software Systems (Q3058802) (← links)
- Crafting a Proof Assistant (Q3612433) (← links)
- Mathematical Knowledge Management (Q5313073) (← links)
- Component Reconfiguration in the Presence of Conflicts (Q5327433) (← links)
- Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Q5357691) (← links)
- Spurious Disambiguation Error Detection (Q5428286) (← links)
- (Q5460254) (← links)
- From Notation to Semantics: There and Back Again (Q5756753) (← links)
- Types for Proofs and Programs (Q5898170) (← links)
