Verification of Software Product Lines with Delta-oriented Slicing

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Daniel Bruns, Vladimir Klebanov und Ina Schaefer
In:Revised Selected Papers, International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010)
Verleger:Springer
Reihe:LNCS
Band:6528
Jahr:2010

BibTeX

@inproceedings{BrunsEtAl2010,
  author       = {Daniel Bruns and Vladimir Klebanov and Ina Schaefer},
  title        = {Verification of Software Product Lines with Delta-oriented Slicing},
  editor       = {Bernhard Beckert and Claude March{\'e}},
  booktitle    = {Revised Selected Papers, International Conference on Formal Verification
                  of Object-Oriented Software ({FoVeOOS} 2010)},
  series       = {LNCS},
  volume       = {6528},
  publisher    = {Springer},
  year         = {2010},
  month        = jun
}