ISSE

Search

Verification of ASM Refinements Using Generalized Forward Simulation

G. Schellhorn

Verification of ASM Refinements Using Generalized Forward Simulation

published 2001
Reference: Journal of Universal Computer Science (J.UCS), 7(11):952-979, 2001


Downloads:


Links: