R.: Verification of variable software: an experience report (2010)

by R Bubel, C Din, Hänle
Venue:In: FoVeOOS. LNCS