Aspect Refinement and Bounding Quantification in Incremental Designs.

Sven Apel, Thomas Leich, Gunter Saake

Browse the full APSEC paper archive.