Design and validation of a C++ code generator from Abstract State Machines specifications
Silvia Bonfanti
◽
Angelo Gargantini
◽
Atif Mashkoor
Andrea Bombarda
◽
Silvia Bonfanti
◽
Angelo Gargantini
Elvinia Riccobene
◽
Patrizia Scandurra
Dumitru Roman
◽
Michael Kifer
◽
Dieter Fensel
Nicu G. Fruja
◽
Robert F. Stärk
Farah Al-Shareefi
◽
Alexei Lisitsa
◽
Clare Dixon
Erich Grädel
◽
Antje Nowack
Andreas Glausch
◽
Wolfgang Reisig
Joelle Cohen
◽
Anatol Slissenko