SEFM 06 - PowerPoint PPT Presentation

} ?>
View by Category
About This Presentation
Title:

SEFM 06

Description:

Automated Formal Methods with PVS, SAL and Yices. Leonardo de Moura, Bruno Dutertre, ... Filtering Retrenchments into Refinements , John Derrick, Richard Banach ... – PowerPoint PPT presentation

Number of Views:78
Avg rating:3.0/5.0
Slides: 47
Provided by: csta3
Learn more at: http://www.cs.tau.ac.il
Category:
Tags: sefm | derrick

less

Write a Comment
User Comments (0)
About PowerShow.com