by Fervari, Raul, Trucco, Francisco, Ziliani, Beta
Published in Journal of logical and algebraic methods in programming (01.04.2021)

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

by Haveraaen, Magne, Järvi, Jaakko
Published in Journal of logical and algebraic methods in programming (01.06.2021)

by González-Burgueño, Antonio, Ölveczky, Peter Csaba
Published in Journal of logical and algebraic methods in programming (01.08.2021)

by Dokter, Kasper, Gadducci, Fabio, Lion, Benjamin, Santini, Francesco
Published in Journal of logical and algebraic methods in programming (01.01.2021)

by Albert, Elvira, Gómez-Zamalloa, Miguel, Isabel, Miguel, Rubio, Albert, Sammartino, Matteo, Silva, Alexandra
Published in Journal of logical and algebraic methods in programming (01.01.2021)

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

by Downen, Paul, Johnson-Freyd, Philip, Ariola, Zena M.
Published in Journal of logical and algebraic methods in programming (01.02.2020)

by von Rhein, Alexander, Thüm, Thomas, Schaefer, Ina, Liebig, Jörg, Apel, Sven
Published in Journal of logical and algebraic methods in programming (01.01.2016)

by Ciatto, Giovanni, Mariani, Stefano, Di Marzo Serugendo, Giovanna, Louvel, Maxime, Omicini, Andrea, Zambonelli, Franco
Published in Journal of logical and algebraic methods in programming (01.06.2020)

by Haveraaen, Magne, Roggenbach, Markus
Published in Journal of logical and algebraic methods in programming (01.06.2020)

by Krivulin, Nikolai
Published in Journal of logical and algebraic methods in programming (01.10.2020)

by Kosiol, Jens, Fritsche, Lars, Schürr, Andy, Taentzer, Gabriele
Published in Journal of logical and algebraic methods in programming (01.10.2020)

by Lambers, Leen, Born, Kristopher, Kosiol, Jens, Strüber, Daniel, Taentzer, Gabriele
Published in Journal of logical and algebraic methods in programming (01.02.2019)

by Gorla, Daniele, Salvo, Ivano
Published in Journal of logical and algebraic methods in programming (01.02.2021)

by Kannimoola, Jinesh M., Jayaraman, Bharat, Achuthan, Krishnashree
Published in Journal of logical and algebraic methods in programming (01.02.2021)

by Dailler, Sylvain, Hauzar, David, Marché, Claude, Moy, Yannick
Published in Journal of logical and algebraic methods in programming (01.10.2018)

by Dedeić, Jovana, Pantović, Jovanka, Pérez, Jorge A.
Published in Journal of logical and algebraic methods in programming (01.06.2021)

by Boudou, Joseph, Herzig, Andreas, Troquard, Nicolas
Published in Journal of logical and algebraic methods in programming (01.06.2021)

by Ramos, Jaime, Rasga, João, Sernadas, Cristina, Viganò, Luca
Published in Journal of logical and algebraic methods in programming (01.06.2021)