by Bian, Jinting, Hiep, Hans-Dieter A., de Boer, Frank S., de Gouw, Stijn
Published in Formal methods in system design (01.08.2022)

by Giachino, Elena, Hähnle, Reiner, de Boer, Frank S, Bonsangue, Marcello M
Year of Publication 2013

by de Boer, Frank, Bonsangue, Marcello, Rutten, Jan
Year of Publication 2018

by de Boer, Frank S., Cerone, Antonio
Published in Software and systems modeling (01.04.2024)

by Beckert, Bernhard, Damiani, Ferruccio, de Boer, Frank S, Bonsangue, Marcello M
Year of Publication 2013

by de Boer, Frank S., Bonsangue, Marcello
Published in Formal aspects of computing (01.08.2021)

by Hiep, Hans-Dieter A., Maathuis, Olaf, Bian, Jinting, de Boer, Frank S., de Gouw, Stijn
Published in International journal on software tools for technology transfer (01.10.2022)

by de Gouw, Stijn, de Boer, Frank S., Bubel, Richard, Hähnle, Reiner, Rot, Jurriaan, Steinhöfel, Dominic
Published in Journal of automated reasoning (01.01.2019)

by de Boer, Frank S, Bonsangue, Marcello M, Hallerstede, Stefan, Leuschel, Michael
Year of Publication 2010

by Aichernig, Bernhard K, de Boer, Frank S, Bonsangue, Marcello M
Year of Publication 2011

by de Boer, Frank S., Bravetti, Mario, Lee, Matias D., Zavattaro, Gianluigi
Published in Fundamenta informaticae (01.01.2018)

by de Boer, Frank S, Bonsangue, Marcello M, Graf, Susanne, de Roever, Willem-Paul
Year of Publication 2006

by Azadbakht, Keyvan, de Boer, Frank S., Serbanescu, Vlad
Published in Electronic proceedings in theoretical computer science (10.08.2016)

by Apt, Krzysztof R., de Boer, Frank S., Olderog, Ernst-Rüdiger, de Gouw, Stijn
Published in Journal of computer and system sciences (01.05.2012)

by de Boer, Frank S., Giachino, Elena, de Gouw, Stijn, Hähnle, Reiner, Johnsen, Einar Broch, Laneve, Cosimo, Pun, Ka I, Zavattaro, Gianluigi
Published in Electronic proceedings in theoretical computer science (27.08.2019)

by Wong, Peter Y. H., Bubel, Richard, de Boer, Frank S., Gómez-Zamalloa, Miguel, de Gouw, Stijn, Hähnle, Reiner, Meinke, Karl, Sindhu, Muddassar Azam
Published in International journal on software tools for technology transfer (01.02.2015)

by de Boer, Frank S, Bonsangue, Marcello M, Graf, Susanne, de Roever, Willem-Paul
Year of Publication 2005

by de Boer, Frank S., Bonsangue, Marcello M.
Published in 2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.09.2019)

by Pierik, Cees, de Boer, Frank S.
Published in Theoretical computer science (17.10.2005)

by Hutchison, David, Kanade, Takeo, Kittler, Josef, de Roever, Willem-Paul
Year of Publication 2007