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

View PDF

Download Links

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