The ASM refinement method (0)

by E Börger
Venue:Formal Aspects of Computing