by Chevrou, Florent, Hurault, Aurélie, Quéinnec, Philippe
Published in Journal of logical and algebraic methods in programming (01.11.2019)

by Cairo, Massimo, Comin, Carlo, Rizzi, Romeo
Published in Journal of logical and algebraic methods in programming (01.06.2020)

Published in Journal of logical and algebraic methods in programming (01.06.2022)

by Fisman, Dana
Published in Journal of logical and algebraic methods in programming (01.08.2018)

by Ramezanifarkhani, Toktam, Owe, Olaf, Tokas, Shukun
Published in Journal of logical and algebraic methods in programming (01.10.2018)

by Bertrand, Nathalie, Bouyer, Patricia, Brihaye, Thomas, Carlier, Pierre
Published in Journal of logical and algebraic methods in programming (01.10.2018)

by André, Étienne, Delahaye, Benoît, Fournier, Paulin
Published in Journal of logical and algebraic methods in programming (01.01.2020)

by Haller, Philipp, Miller, Heather
Published in Journal of logical and algebraic methods in programming (01.06.2019)

by van Heerdt, Gerco, Moerman, Joshua, Sammartino, Matteo, Silva, Alexandra
Published in Journal of logical and algebraic methods in programming (01.06.2019)

by Fiadeiro, José Luiz, Ţuţu, Ionuţ, Lopes, Antónia, Pavlovic, Dusko
Published in Journal of logical and algebraic methods in programming (01.08.2019)

by McIver, A.K., Morgan, C.C., Rabehaja, T.
Published in Journal of logical and algebraic methods in programming (01.08.2019)

by Madeira, Alexandre, Neves, Renato, Martins, Manuel A.
Published in Journal of logical and algebraic methods in programming (01.08.2016)

by Murgia, Maurizio
Published in Journal of logical and algebraic methods in programming (01.10.2019)

by Rodríguez, Ismael, Rosa-Velardo, Fernando, Rubio, Fernando
Published in Journal of logical and algebraic methods in programming (01.02.2020)

by Darquennes, Denis, Jacquet, Jean-Marie, Linden, Isabelle
Published in Journal of logical and algebraic methods in programming (01.04.2020)

by Lambers, Leen, Weber, Jens
Published in Journal of logical and algebraic methods in programming (01.04.2020)

Published in Journal of logical and algebraic methods in programming (01.04.2022)

by Hensel, Jera, Giesl, Jürgen, Frohn, Florian, Ströder, Thomas
Published in Journal of logical and algebraic methods in programming (01.06.2018)

by Hallé, Sylvain, Bergeron, Nicolas, Guérin, Francis, Le Breton, Gabriel, Beroual, Oussama
Published in Journal of logical and algebraic methods in programming (01.08.2016)

by Klimek, Radosław
Published in Journal of logical and algebraic methods in programming (01.04.2019)