Correctness properties of the Viper block model: the second level (0)

by Avra Cohn
Venue:Current Trends in Hardware Verification and Automated Theorem Proving