@inproceedings{BDFW07,
  title = "Slicing Abstractions",
  author = "Ingo Br{\"u}ckner and Klaus Dr{\"a}ger and Bernd Finkbeiner and Heike Wehrheim",
  year = "2007",
  booktitle = "Proceedings of the International Symposium on Fundamentals of Software Engineering (FSEN)",
  editor = "Farhad Arbab and Marjan Sirjani",
  pages = "17-32",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "4767",
}