Vol-2210⫷ Vol-2211 ⫸Vol-2212
urn:nbn:de:0074-2211-0


Vol-2211/paper-25⫷Vol-2211/paper-26⫸Vol-2211/paper-27
Mattias NybergDamir Nesic

Verifying Contract-Based Specifications of Product Lines using Description Logic