Amanote Research
Register
Sign In
Family-Based Deductive Verification of Software Product Lines
doi 10.1145/2371401.2371404
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2012
Authors
Thomas Thüm
Ina Schaefer
Martin Hentschel
Sven Apel
Publisher
ACM Press