Slicing Abstractions
Ingo Brückner‚ Klaus Dräger‚ Bernd Finkbeiner and Heike Wehrheim
ISSN
0169−2968 (Print) 1875−8681 (Online)
Journal
Fundamenta Informaticae
Number
4
Pages
369−392
Publisher
IOS Press
Volume
89
Year
2008
Ingo Brückner‚ Klaus Dräger‚ Bernd Finkbeiner and Heike Wehrheim