by Bride, Hadrien, Kouchnarenko, Olga, Peureux, Fabien, Voiron, Guillaume
Published in International journal on software tools for technology transfer (01.08.2018)

by Bride, Hadrien, Kouchnarenko, Olga, Peureux, Fabien, Voiron, Guillaume
Published in International journal on software tools for technology transfer (2018)

by Julliand, J., Kouchnarenko, O., Masson, P. A., Voiron, G.
Published in Programming and computer software (2018)

by Julliand, Jacques, Kouchnarenko, Olga, Masson, Pierre-Alain, Voiron, Guillaume
Published in Perspectives of System Informatics (2018)

by Bride, Hadrien, Kouchnarenko, Olga, Peureux, Fabien, Voiron, Guillaume
Published in Critical Systems: Formal Methods and Automated Verification (2016)

by Julliand, Jacques, Kouchnarenko, Olga, Masson, Pierre-Alain, Voiron, Guillaume
Published in 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE) (01.09.2017)

by TROCCAZ, JOCELYNE, F-38320 EYBENS, FR, JULLIARD, REMI, F-38320 HERBEYS, FR, BAINVILLE, ERIC, F-38000 GRENOBLE, FR, CINQUIN, PHILIPPE, F-38000 GRENOBLE, FR, LAVALLEE, STEPHANE, F-38100 GRENOBLE, FR, CHAMPLEBAUX, GUILLAUME, F-38500 VOIRON, FR
Year of Publication 19.11.1998