by Tuosto, Emilio, Guanciale, Roberto
Published in Journal of logical and algebraic methods in programming (01.02.2018)

by Roșu, Grigore, Șerbănută, Traian Florin
Published in The journal of logic and algebraic programming (01.08.2010)

by Leucker, Martin, Schallhart, Christian
Published in The journal of logic and algebraic programming (01.05.2009)

by Meseguer, José
Published in The journal of logic and algebraic programming (01.10.2012)

by Hoare, Tony, Möller, Bernhard, Struth, Georg, Wehrman, Ian
Published in The journal of logic and algebraic programming (01.08.2011)

by Escobar, Santiago, Sasse, Ralf, Meseguer, José
Published in The journal of logic and algebraic programming (01.10.2012)

Published in The journal of logic and algebraic programming (01.07.2004)

by Blanchet, Bruno, Abadi, Martín, Fournet, Cédric
Published in The journal of logic and algebraic programming (01.02.2008)

by Hildebrandt, Thomas, Mukkamala, Raghava Rao, Slaats, Tijs, Zanitti, Francesco
Published in The journal of logic and algebraic programming (01.07.2013)

by Durán, Francisco, Meseguer, José
Published in The journal of logic and algebraic programming (01.10.2012)

by Lucchi, Roberto, Mazzara, Manuel
Published in The journal of logic and algebraic programming (01.01.2007)

by Păun, Gheorghe
Published in The journal of logic and algebraic programming (01.08.2010)

by Phillips, Iain, Ulidowski, Irek
Published in The journal of logic and algebraic programming (01.09.2007)

by Rutle, Adrian, Rossini, Alessandro, Lamo, Yngve, Wolter, Uwe
Published in The journal of logic and algebraic programming (01.05.2012)

by Bielova, Nataliia
Published in The journal of logic and algebraic programming (2013)

by Prisacariu, Cristian, Schneider, Gerardo
Published in The journal of logic and algebraic programming (01.05.2012)

by Francalanza, Adrian, Gauci, Andrew, Pace, Gordon J.
Published in The journal of logic and algebraic programming (01.07.2013)

by Wotawa, Franz, Nica, Mihai, Moraru, Iulia
Published in The journal of logic and algebraic programming (01.05.2012)

by Katoen, Joost-Pieter, Klink, Daniel, Leucker, Martin, Wolf, Verena
Published in The journal of logic and algebraic programming (01.05.2012)

by Thrane, Claus, Fahrenberg, Uli, Larsen, Kim G.
Published in The journal of logic and algebraic programming (01.10.2010)