Composition and structuring principles for ASMs (2000)

by E Borger
Venue:In Abstract State Machines | ASM 2000 (Proc. Int. Workshop on Abstract State Machines, Monta Verita, Switzerland, March 2000), LNCS