1
Published 2014
Springer Berlin Heidelberg
Table of Contents: ... Systems -- Family-Based Performance Analysis of Variant-Rich Software Systems -- Touch Cost: Cost Analysis...

2
Published 2012
Springer Berlin Heidelberg
Subjects: ...Computer Science Logic and Foundations of Programming...