DMCA

A Case Study on Automation of Verification Logics

by Reiner Dojen , Tom Coffey