by Cavalcanti, Ana, Miyazawa, Alvaro, Sampaio, Augusto, Li, Wei, Ribeiro, Pedro, Timmis, Jon
Published in Integrated Formal Methods (2018)

by Brucker, Achim D., Wolff, Burkhart
Published in Integrated Formal Methods (2019)

by Preoteasa, Viorel
Published in Integrated Formal Methods (2016)

by Oortwijn, Wytse, Huisman, Marieke
Published in Integrated Formal Methods (2019)

by Vu, Fabian, Hansen, Dominik, Körner, Philipp, Leuschel, Michael
Published in Integrated Formal Methods (2019)

by Ramsdell, John D., Dougherty, Daniel J., Guttman, Joshua D., Rowe, Paul D.
Published in Integrated Formal Methods (2014)

by Bubel, Richard, Hähnle, Reiner, Heydari Tabar, Asmae
Published in Integrated Formal Methods (2019)

by Kamburjan, Eduard, Chen, Tzu-Chun
Published in Integrated Formal Methods (2018)

by Oortwijn, Wytse, Huisman, Marieke
Published in Integrated Formal Methods (2019)

by Hentschel, Martin, Käsdorf, Stefan, Hähnle, Reiner, Bubel, Richard
Published in Integrated Formal Methods (2014)

by Camilli, Matteo, Gargantini, Angelo, Madaudo, Rosario, Scandurra, Patrizia
Published in Integrated Formal Methods (2019)

by Meller, Yael, Grumberg, Orna, Yorav, Karen
Published in Integrated Formal Methods (2014)

by Hsieh, Chiao, Mitra, Sayan
Published in Integrated Formal Methods (2019)

by Dimjašević, Marko, Howar, Falk, Luckow, Kasper, Rakamarić, Zvonimir
Published in Integrated Formal Methods (2018)

by Lanotte, Ruggero, Tini, Simone
Published in Integrated Formal Methods (2019)

by Hodován, Renáta, Vince, Dániel, Kiss, Ákos
Published in Integrated Formal Methods (2019)

by Bodeveix, Jean-Paul, Filali, Mamoun, Lawall, Julia, Muller, Gilles
Published in Lecture notes in computer science (2005)

by Abbas, Messaoud, Ben-Yelles, Choukri-Bey, Rioboo, Renaud
Published in Integrated Formal Methods (2014)

by Voinea, A. Laura, Dardha, Ornela, Gay, Simon J.
Published in Integrated Formal Methods (2019)

by Janssen, Ramon, Vaandrager, Frits, Tretmans, Jan
Published in Integrated Formal Methods (2019)