by Ramírez Abarca, Aldo Iván, Broersen, Jan
Published in Journal of logical and algebraic methods in programming (01.11.2021)

by Chen, Xiaohong, Lucanu, Dorel, Roşu, Grigore
Published in Journal of logical and algebraic methods in programming (01.04.2021)

by Meseguer, José
Published in Journal of logical and algebraic methods in programming (01.01.2020)

by Poskitt, Christopher M., Plump, Detlef
Published in Journal of logical and algebraic methods in programming (01.01.2023)

by Raya, Rodrigo, Kunčak, Viktor
Published in Journal of logical and algebraic methods in programming (01.01.2024)

by Moezkarimi, Zahra, Ghassemi, Fatemeh
Published in Journal of logical and algebraic methods in programming (01.10.2024)

by Cheval, Horaţiu, Nowak, David, Rusu, Vlad
Published in Journal of logical and algebraic methods in programming (01.10.2024)

by Erkens, Rick
Published in Journal of logical and algebraic methods in programming (01.10.2024)

by Pino, Elvira, Orejas, Fernando, Mylonakis, Nikos, Pasarella, Edelmira
Published in Journal of logical and algebraic methods in programming (01.10.2024)

by Horne, Ross, Padovani, Luca
Published in Journal of logical and algebraic methods in programming (01.10.2024)

by Peyrone, Neda, Wichadakul, Duangdao
Published in Journal of logical and algebraic methods in programming (01.08.2023)

by Eker, Steven, Martí-Oliet, Narciso, Meseguer, José, Rubio, Rubén, Verdejo, Alberto
Published in Journal of logical and algebraic methods in programming (01.08.2023)

by Meseguer, José
Published in Journal of logical and algebraic methods in programming (01.08.2023)

by Ciobâcă, Ştefan, Lucanu, Dorel, Buruiană, Andrei Sebastian
Published in Journal of logical and algebraic methods in programming (01.10.2023)

by Laneve, Cosimo
Published in Journal of logical and algebraic methods in programming (01.10.2023)

by Kojima, Misaki, Nishida, Naoki
Published in Journal of logical and algebraic methods in programming (01.10.2023)

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

by Bensalem, Saddek, Huang, Xiaowei, Ruan, Wenjie, Tang, Qiyi, Wu, Changshun, Zhao, Xingyu
Published in Journal of logical and algebraic methods in programming (01.02.2024)

by Suvorov, Nikolai M., Lomazova, Irina A.
Published in Journal of logical and algebraic methods in programming (01.04.2024)

by Lami, Pietro, Lanese, Ivan, Stefani, Jean-Bernard, Sacerdoti Coen, Claudio, Fabbretti, Giovanni
Published in Journal of logical and algebraic methods in programming (01.04.2024)