State of the art verification methodologies in 2015.

Allan Crone, Oliver Bringmann, C. Chevallaz, B. Dickman, Volkan Esen, Michael Rohleder

Browse the full DATE paper archive.