Verifying SPLs using parity games expressing variability

  • S. van Loo

Student thesis: Master

Abstract

Date of Award25 Nov 2019
Original languageEnglish
SupervisorTim A.C. Willemse (Supervisor 1)

Cite this

'