The ASM Refinement Method (0)

by E Börger
Venue:Formal Aspects of Computing