by Basile, Davide, ter Beek, Maurice H., Fantechi, Alessandro, Gnesi, Stefania, Mazzanti, Franco, Piattino, Andrea, Trentini, Daniele, Ferrari, Alessio
Published in Integrated Formal Methods (01.01.2018)

by Hentschel, Martin, Hähnle, Reiner, Bubel, Richard
Published in Integrated Formal Methods (2016)

by Schuts, Mathijs, Hooman, Jozef, Vaandrager, Frits
Published in Integrated Formal Methods (2016)

by Leofante, Francesco, Ábrahám, Erika, Tacchella, Armando
Published in Integrated Formal Methods (01.01.2018)

by D’Argenio, Pedro R., Hartmanns, Arnd, Legay, Axel, Sedwards, Sean
Published in Integrated Formal Methods (2016)

by Bride, Hadrien, Kouchnarenko, Olga, Peureux, Fabien
Published in Integrated Formal Methods (2014)

by Luteberget, Bjørnar, Johansen, Christian, Steffen, Martin
Published in Integrated Formal Methods (2016)

by Muškardin, Edi, Aichernig, Bernhard K., Pill, Ingo, Tappler, Martin
Published in Integrated Formal Methods (2022)

by Baramashetru, Chinmayi Prabhu, Tapia Tarifa, Silvia Lizeth, Owe, Olaf, Gruschka, Nils
Published in Integrated Formal Methods (2022)

by Leuschel, Michael
Published in Integrated Formal Methods (2022)

by Gilmore, Stephen, Reijsbergen, Daniël, Vandin, Andrea
Published in Integrated Formal Methods (2017)

by Sheridan, Oisín, Monahan, Rosemary, Luckcuck, Matt
Published in Integrated Formal Methods (2022)

by Bairy, Akhila
Published in Integrated Formal Methods (2022)

by Geraldo, Eduardo
Published in Integrated Formal Methods (2022)

by Kolchin, Alexander, Potiyenko, Stepan
Published in Integrated Formal Methods (2022)

by Wang, Rui, Artho, Cyrille, Kristensen, Lars Michael, Stolz, Volker
Published in Integrated Formal Methods (2019)

by Parreira, Joana
Published in Integrated Formal Methods (2022)

by Carreira, Carolina
Published in Integrated Formal Methods (2022)

by Carvalho, Luís
Published in Integrated Formal Methods (2022)

by Saeedloei, Neda, Kluźniak, Feliks
Published in Integrated Formal Methods (2022)