Automatic model driven animation of SCR specifications. In: Mauro Pezzè (Ed.), Fundamental Approaches to Software (2003)

by A Gargantini, E Riccobene
Venue:Engineering, 6th International Conference (FASE 2003), Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2003