DMCA

Towards Complete Reasoning about Axiomatic Specifications

by Swen Jacobs , Viktor Kuncak
Citations:8 - 5 self