FM 2015: 20th international symposium, Oslo, Norway, June 24-26, 2015, proceedings

por Bjørner, Nikolaj, de Boer, Frank, Bjørner, Nikolaj
Publicado 2015

It's all about coordination: essays to celebrate the lifelong scientific achievements of Farhad Arbab

por de Boer, Frank, Bonsangue, Marcello, Rutten, Jan
Publicado 2018

Compositional schedulability analysis of real-time actor-based systems

por Jaghoori, Mohammad Mahdi, de Boer, Frank, Longuet, Delphine, Chothia, Tom, Sirjani, Marjan
Publicado 2016

Verifying OpenJDK’s Sort Method for Generic Collections

por de Gouw, Stijn, de Boer, Frank S., Bubel, Richard, Hähnle, Reiner, Rot, Jurriaan, Steinhöfel, Dominic
Publicado 2017

Verifying OpenJDK’s LinkedList using KeY

por Hiep, Hans-Dieter A., Maathuis, Olaf, Bian, Jinting, de Boer, Frank S., van Eekelen, Marko, de Gouw, Stijn
Publicado 2020