by Kirchner, Florent, Kosmatov, Nikolai, Prevosto, Virgile, Signoles, Julien, Yakobowski, Boris
Published in Formal aspects of computing (01.05.2015)

by Kulik, Tomas, Dongol, Brijesh, Larsen, Peter Gorm, Macedo, Hugo Daniel, Schneider, Steve, Tran-Jørgensen, Peter W. V., Woodcock, James
Published in Formal aspects of computing (06.07.2022)

by Zhao, Hengjun, Zeng, Xia, Chen, Taolue, Liu, Zhiming, Woodcock, Jim
Published in Formal aspects of computing (01.06.2021)

by van der Aalst, W. M. P., van Hee, K. M., ter Hofstede, A. H. M., Sidorova, N., Verbeek, H. M. W., Voorhoeve, M., Wynn, M. T.
Published in Formal aspects of computing (01.05.2011)

by Dongol, Brijesh, Dubois, Catherine, Hallerstede, Stefan, Hehner, Eric, Morgan, Carroll, Müller, Peter, Ribeiro, Leila, Silva, Alexandra, Smith, Graeme, de Vink, Erik
Published in Formal aspects of computing (26.12.2024)

by Chrszon, Philipp, Dubslaff, Clemens, Klüppelholz, Sascha, Baier, Christel
Published in Formal aspects of computing (01.01.2018)

by ter Beek, Maurice H., Chapman, Rod, Cleaveland, Rance, Garavel, Hubert, Gu, Rong, ter Horst, Ivo, Keiren, Jeroen J. A., Lecomte, Thierry, Leuschel, Michael, Rozier, Kristin Yvonne, Sampaio, Augusto, Seceleanu, Cristina, Thomas, Martyn, Willemse, Tim A. C., Zhang, Lijun
Published in Formal aspects of computing (26.12.2024)

by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published in Formal aspects of computing (01.12.2019)

by Bagheri, Hamid, Kang, Eunsuk, Malek, Sam, Jackson, Daniel
Published in Formal aspects of computing (01.09.2018)

by Broy, Manfred, Brucker, Achim D., Fantechi, Alessandro, Gleirscher, Mario, Havelund, Klaus, Kuppe, Markus Alexander, Mendes, Alexandra, Platzer, André, Ringert, Jan Oliver, Sullivan, Allison
Published in Formal aspects of computing (31.03.2025)

by Hesselink, Wim Hendrik
Published in Formal aspects of computing (30.09.2025)

by Li, Guoqiang, Yang, Qizhe, Tan, Jinhao, Zhao, Ying
Published in Formal aspects of computing (30.09.2025)

by Gambino, Nicola
Published in Formal aspects of computing (30.09.2025)

by Li, Yongjian, Cai, Zhenghai, Wang, Bow-Yaw, Zhao, Yongxin
Published in Formal aspects of computing (30.09.2025)

by Gopalakrishnan, Akshay, Verbrugge, Clark, Batty, Mark
Published in Formal aspects of computing (30.09.2025)

by Archibald, Blair, Calder, Muffy, Sevegnani, Michele
Published in Formal aspects of computing (30.09.2025)

by Meyer, Bertrand
Published in Formal aspects of computing (30.06.2025)

by Fränzle, Martin, Grosen, Thomas Møller, Larsen, Kim Guldstrand, Zimmermann, Martin
Published in Formal aspects of computing (05.08.2025)

by Hehner, Eric
Published in Formal aspects of computing (29.07.2025)

by Marmsoler, Diego, Brucker, Achim D.
Published in Formal aspects of computing (04.03.2025)