Christer Löfving

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Provably Correct

Industrial Applications

Top Venues

Publications

Maurice H. ter Beek, Arne Borälv, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Christer Löfving, Franco Mazzanti
Adopting Formal Methods in an Industrial Setting: The Railways Case. FM (2019)