The Why/Krakatoa/Caduceus platform for deductive program verification (2007)

Cached

Download Links

by Jean-christophe Filliâtre , Claude Marché
Venue:In CAV ’07
Citations:84 - 15 self