Formal methods: 22nd international symposium, FM 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 15-17, 2018, proceedings

por Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik
Publicado 2018

Family-Based SPL Model Checking Using Parity Games with Variability

por ter Beek, Maurice H., van Loo, Sjef, de Vink, Erik P., Willemse, Tim A. C.
Publicado 2020