Skip to content

A Generalized Stepping Semantics for Model Debugging.

Simon Van Mierlo, Yentl Van Tendeloo, Hans Vangheluwe

VenueAMODELS
Year2018
ProceedingsMoDELS (Workshops)

Browse the full MODELS paper archive.