by De Nicola, Rocco, Ferrari, Gianluigi, Pugliese, Rosario, Tiezzi, Francesco
Published in Journal of logical and algebraic methods in programming (01.02.2020)

by Pugliese, Rosario, Tiezzi, Francesco
Published in Journal of logical and algebraic methods in programming (01.11.2020)

by Basile, D., Degano, P., Ferrari, G.L., Tuosto, E.
Published in Journal of logical and algebraic methods in programming (01.04.2016)

by Plump, Detlef
Published in Journal of logical and algebraic methods in programming (01.04.2017)

by Rusu, Vlad, Nowak, David
Published in Journal of logical and algebraic methods in programming (01.01.2021)

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

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

by Bacciu, Davide, Carta, Antonio, Gnesi, Stefania, Semini, Laura
Published in Journal of logical and algebraic methods in programming (01.02.2017)

by Kernberger, Daniel, Lange, Martin
Published in Journal of logical and algebraic methods in programming (01.01.2020)

by Kahl, Wolfram
Published in Journal of logical and algebraic methods in programming (01.12.2020)

by Karami, Farzane, Owe, Olaf, Ramezanifarkhani, Toktam
Published in Journal of logical and algebraic methods in programming (01.02.2019)

by Ghica, Dan R., Alyahya, Khulood
Published in Journal of logical and algebraic methods in programming (01.08.2019)

by Aubert, Clément, Cristescu, Ioana
Published in Journal of logical and algebraic methods in programming (01.01.2017)

by Caballero, Rafael, Martin-Martin, Enrique, Riesco, Adrián, Tamarit, Salvador
Published in Journal of logical and algebraic methods in programming (01.10.2019)

by Loulergue, Frédéric
Published in Journal of logical and algebraic methods in programming (01.11.2020)

by Kapus, Tatjana
Published in Journal of logical and algebraic methods in programming (01.11.2020)

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

by D'Andreagiovanni, Michele, Baiardi, Fabrizio, Lipilini, Jacopo, Ruggieri, Salvatore, Tonelli, Federico
Published in Journal of logical and algebraic methods in programming (01.01.2019)

by Hoare, Tony, van Staden, Stephan, Möller, Bernhard, Struth, Georg, Zhu, Huibiao
Published in Journal of logical and algebraic methods in programming (01.06.2016)

by Dabrowski, Frédéric
Published in Journal of logical and algebraic methods in programming (01.11.2019)