Bruns, Daniel; Klebanov, Vladimir; Schaefer, Ina Verification of software product lines with delta-oriented slicing. (English) Zbl 1308.68038 Beckert, Bernhard (ed.) et al., Formal verification of object-oriented software. International conference, FoVeOOS 2010, Paris, France, June 28–30, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-18069-9/pbk). Lecture Notes in Computer Science 6528, 61-75 (2011). MSC: 68N30 68N19 68Q60 PDF BibTeX XML Cite \textit{D. Bruns} et al., Lect. Notes Comput. Sci. 6528, 61--75 (2011; Zbl 1308.68038) Full Text: DOI
Amtoft, Torben; Androutsopoulos, Kelly; Clark, David; Harman, Mark; Li, Zheng An alternative characterization of weak order dependence. (English) Zbl 1379.68091 Inf. Process. Lett. 110, No. 21, 939-943 (2010). MSC: 68N30 PDF BibTeX XML Cite \textit{T. Amtoft} et al., Inf. Process. Lett. 110, No. 21, 939--943 (2010; Zbl 1379.68091) Full Text: DOI