by Kirszenberg, Alexandre, Martin, Antoine, Moreau, Hugo, Renault, Etienne
Published in International journal on software tools for technology transfer (01.02.2023)

by Burdy, Lilian, Cheon, Yoonsik, Cok, David R., Ernst, Michael D., Kiniry, Joseph R., Leavens, Gary T., Leino, K. Rustan M., Poll, Erik
Published in International journal on software tools for technology transfer (01.06.2005)

by Armando, Alessandro, Mantovani, Jacopo, Platania, Lorenzo
Published in International journal on software tools for technology transfer (01.02.2009)

by Hensel, Christian, Junges, Sebastian, Katoen, Joost-Pieter, Quatmann, Tim, Volk, Matthias
Published in International journal on software tools for technology transfer (01.08.2022)

by Pahl, Claus
Published in International journal on software tools for technology transfer (01.03.2007)

by David, Alexandre, Larsen, Kim G., Legay, Axel, Mikučionis, Marius, Poulsen, Danny Bøgsted
Published in International journal on software tools for technology transfer (01.08.2015)

by Clarke, E.M., Grumberg, O., Minea, M., Peled, D.
Published in International journal on software tools for technology transfer (01.11.1999)

by Lomuscio, Alessio, Qu, Hongyang, Raimondi, Franco
Published in International journal on software tools for technology transfer (01.02.2017)

by D’Ambros, Marco, Lanza, Michele, Lungu, Mircea, Robbes, Romain
Published in International journal on software tools for technology transfer (01.04.2011)

by Beyer, Dirk, Löwe, Stefan, Wendler, Philipp
Published in International journal on software tools for technology transfer (06.02.2019)

by Mateescu, Radu
Published in International journal on software tools for technology transfer (01.02.2006)

by Graf, Susanne, Ober, Ileana, Ober, Iulian
Published in International journal on software tools for technology transfer (01.04.2006)

by Brix, Christopher, Müller, Mark Niklas, Bak, Stanley, Johnson, Taylor T., Liu, Changliu
Published in International journal on software tools for technology transfer (01.06.2023)

by Falcone, Yliès, Krstić, Srđan, Reger, Giles, Traytel, Dmitriy
Published in International journal on software tools for technology transfer (01.04.2021)

by André, Étienne
Published in International journal on software tools for technology transfer (01.04.2019)

by Solar-Lezama, Armando
Published in International journal on software tools for technology transfer (01.10.2013)

by Abrial, Jean-Raymond, Butler, Michael, Hallerstede, Stefan, Hoang, Thai Son, Mehta, Farhad, Voisin, Laurent
Published in International journal on software tools for technology transfer (01.11.2010)

by Garavel, Hubert, Lang, Frédéric, Mateescu, Radu, Serwe, Wendelin
Published in International journal on software tools for technology transfer (01.04.2013)

by Hoxha, Bardh, Dokhanchi, Adel, Fainekos, Georgios
Published in International journal on software tools for technology transfer (01.02.2018)

by Ferrara, Pietro, Mandal, Amit Kr, Cortesi, Agostino, Spoto, Fausto
Published in International journal on software tools for technology transfer (01.02.2021)