by Nassar, Nebras, Kosiol, Jens, Arendt, Thorsten, Taentzer, Gabriele
Published in Journal of logical and algebraic methods in programming (01.08.2020)

by Arusoaie, Andrei
Published in Journal of logical and algebraic methods in programming (01.06.2021)

by Filliâtre, Jean-Christophe
Published in Journal of logical and algebraic methods in programming (01.06.2021)

by Lucas, Salvador
Published in Journal of logical and algebraic methods in programming (01.06.2021)

by Kramer, Richard L., Maddux, Roger D.
Published in Journal of logical and algebraic methods in programming (01.04.2022)

by Bønneland, Frederik M., Dyhr, Jakob, Jensen, Peter G., Johannsen, Mads, Srba, Jiří
Published in Journal of logical and algebraic methods in programming (01.01.2019)

by Bhardwaj, Chandrika, Prasad, Sanjiva
Published in Journal of logical and algebraic methods in programming (01.06.2022)

by Asăvoae, Irina Măriuca, Tofighi Shirazi, Ramtine, Riesco, Adrián, Yasuyoshi, Uemura
Published in Journal of logical and algebraic methods in programming (01.06.2022)

by Alpuente, M., Cuenca-Ortega, A., Escobar, S., Meseguer, J.
Published in Journal of logical and algebraic methods in programming (01.01.2020)

by Adámek, Jiří, Milius, Stefan, Moss, Lawrence S.
Published in Journal of logical and algebraic methods in programming (01.02.2018)

by Graversen, Eva, Phillips, Iain, Yoshida, Nobuko
Published in Journal of logical and algebraic methods in programming (01.01.2022)

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

by Hennicker, Rolf, Knapp, Alexander
Published in Journal of logical and algebraic methods in programming (01.08.2022)

by Lion, Benjamin, Arbab, Farhad, Talcott, Carolyn
Published in Journal of logical and algebraic methods in programming (01.08.2022)

by Oliveira, José Nuno, Pinto, Jorge Sousa, Barbosa, Luís Soares, Henriques, Pedro Rangel
Published in Journal of logical and algebraic methods in programming (01.08.2022)

by Damanafshan, Morteza, Fallah, Mehran S.
Published in Journal of logical and algebraic methods in programming (01.08.2022)

by Harmer, Russ, Oshurko, Eugenia
Published in Journal of logical and algebraic methods in programming (01.08.2020)

by Martins-Ferreira, Nelson, Sobral, Manuela
Published in Journal of logical and algebraic methods in programming (01.04.2021)

by van Glabbeek, Rob
Published in Journal of logical and algebraic methods in programming (01.12.2019)

by Barthe, Gilles, Crespo, Juan Manuel, Kunz, César
Published in Journal of logical and algebraic methods in programming (01.08.2016)