Program correctness Proof Outlines - PowerPoint PPT Presentation

1 / 18
} ?>
View by Category
About This Presentation
Title:

Program correctness Proof Outlines

Description:

Title: A calculus for component oriented programming Author: Marcello Last modified by: Marcello Bonsangue Created Date: 9/20/2005 11:07:00 AM Document presentation ... – PowerPoint PPT presentation

Number of Views:13
Avg rating:3.0/5.0
Slides: 19
Provided by: Marce340
Learn more at: http://liacs.leidenuniv.nl
Category:

less

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