by Hennicker, Rolf, Klarl, Annabelle
Published in Specification, Algebra, and Software (2014)

by Grov, Jon, Ölveczky, Peter Csaba
Published in Specification, Algebra, and Software (2014)

by Belzner, Lenz, De Nicola, Rocco, Vandin, Andrea, Wirsing, Martin
Published in Specification, Algebra, and Software (2014)

by Rushby, John
Published in Specification, Algebra, and Software (2014)

by Yaku, Takeo, Anada, Koichi, Anzai, Koushi, Koka, Shinji, Miyadera, Youzou, Tsuchida, Kensei
Published in Specification, Algebra, and Software (2014)

by Bruni, Roberto, Melgratti, Hernán, Montanari, Ugo
Published in Specification, Algebra, and Software (2014)

by Martín, Óscar, Verdejo, Alberto, Martí-Oliet, Narciso
Published in Specification, Algebra, and Software (2014)

by Stehr, Mark-Oliver, Kim, Minyoung, Talcott, Carolyn
Published in Specification, Algebra, and Software (2014)

by Găină, Daniel, Lucanu, Dorel, Ogata, Kazuhiro, Futatsugi, Kokichi
Published in Specification, Algebra, and Software (2014)

by Zhang, Min, Ogata, Kazuhiro, Futatsugi, Kokichi
Published in Specification, Algebra, and Software (2014)

by Alpuente, María, Ballis, Demis, Frechina, Francisco, Sapiña, Julia
Published in Specification, Algebra, and Software (2014)

by Escobar, Santiago
Published in Specification, Algebra, and Software (2014)

by Nakamura, Masaki, Ogata, Kazuhiro, Futatsugi, Kokichi
Published in Specification, Algebra, and Software (2014)

by Liu, Jiaxiang, Jouannaud, Jean-Pierre
Published in Specification, Algebra, and Software (2014)

by Ogata, Kazuhiro, Futatsugi, Kokichi
Published in Specification, Algebra, and Software (2014)

by Meyer, Bertrand, Kogtenkov, Alexander
Published in Specification, Algebra, and Software (2014)

by Nakajima, Shin
Published in Specification, Algebra, and Software (2014)

by Phan, Anh-Dung, Hansen, Michael R., Madsen, Jan
Published in Specification, Algebra, and Software (2014)

by Rocha, Camilo, Meseguer, José
Published in Specification, Algebra, and Software (2014)

by Mossakowski, Till, Pawłowski, Wiesław, Sannella, Donald, Tarlecki, Andrzej
Published in Specification, Algebra, and Software (2014)