Sciweavers

FASE
2000
Springer

117views Software Engineering» more FASE 2000»

14 years 2 months ago

state-based approach KIV uses abstract state machines (ASMs, [5]) over algebraically specified data types. The semantics of an ASM is the set of

Michael Balser, Wolfgang Reif, Gerhard Schellhorn,...

claim paper

Read More »