File to download:
Title: Using First-Order Theorem Provers in Data Structure Verification - PowerPoint PPT Presentation
Description: Using First-Order Theorem Provers in Data Structure Verification Charles Bouillaguet Ecole Normale Sup rieure, Cachan, France Viktor Kuncak Martin Rinard – PowerPoint PPT presentation
We are sorry, but the downloadble file for this presentation is no longer available.
' Close