Michele Baggi is an author at University of Siena specializing in system software, software engineering, and formal verification.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
2010–2010
1
1
A fold/unfold transformation framework for rewrite theories extended to CCT
Marı́a Alpuente, Demis Ballis, Michele Baggi et al. · 2010 · 18 citations
Rows per page
1–1 of 1