Sjef van Loo

Publication Activity (10 Years)

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

Top Topics

Automated Verification

Top Venues

Publications

Maurice H. ter Beek, Sjef van Loo, Erik P. de Vink, Tim A. C. Willemse
Family-Based SPL Model Checking Using Parity Games with Variability. FASE (2020)