DMCA

Verification of ASM refinements using generalized forward simulation (2001)

by Gerhard Schellhorn
Citations:31 - 6 self