by Holík, Lukáš, Isberner, Malte, Jonsson, Bengt
Published in Correct System Design (2015)

by Weidenbach, Christoph
Published in Correct System Design (01.01.2015)

by Finkbeiner, Bernd
Published in Correct System Design

by Katoen, Joost-Pieter, Gretz, Friedrich, Jansen, Nils, Kaminski, Benjamin Lucien, Olmedo, Federico
Published in Correct System Design

by van Glabbeek, Rob J.
Published in Correct System Design

by Crubillé, Raphaëlle, Dal Lago, Ugo, Sangiorgi, Davide, Vignudelli, Valeria
Published in Correct System Design

by Hahn, Sebastian, Reineke, Jan, Wilhelm, Reinhard
Published in Correct System Design

by Fränzle, Martin, Hansen, Michael R., Ody, Heinrich
Published in Correct System Design

by de Boer, Frank S., de Gouw, Stijn
Published in Correct System Design

by Fröschle, Sibylle
Published in Correct System Design

by Peleska, Jan
Published in Correct System Design

by Hoenicke, Jochen, Podelski, Andreas
Published in Correct System Design

by Bergstra, Jan A., Ponse, Alban
Published in Correct System Design

by Meyer, Roland, Wehrheim, Heike
Published in Correct System Design

by de Roever, Willem Paul
Published in Correct System Design

by Platzer, André
Published in Correct System Design

by Larsen, Kim Guldstrand, Mikučionis, Marius, Taankvist, Jakob Haahr
Published in Correct System Design

Published in Correct System Design (2015)

Published in Correct System Design (2015)

Published in Correct System Design (2015)