Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

tipoC-Damiani:ISoLA-2012 (In a collection)
Author(s) Ferruccio Damiani and Ina Schaefer
Title« Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines »
InLeveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
SeriesLecture Notes in Computer Science
Editor(s) Tiziana Margaria and Bernhard Steffen
Volume7609
Page(s)193-207
Year2012
PublisherSpringer Berlin Heidelberg
ISBN number978-3-642-34025-3
URLhttp://dx.doi.org/10.1007/978-3-642-34026-0_15

BibTeX code

@incollection{tipoC-Damiani:ISoLA-2012,
  volume = {7609},
  author = {Damiani, Ferruccio and Schaefer, Ina},
  series = {Lecture Notes in Computer Science},
  booktitle = {Leveraging Applications of Formal Methods, Verification and
               Validation. Technologies for Mastering Change},
  editor = {Margaria, Tiziana and Steffen, Bernhard},
  url = {http://dx.doi.org/10.1007/978-3-642-34026-0_15},
  isbn = {978-3-642-34025-3},
  title = {Family-Based Analysis of Type Safety for Delta-Oriented Software
           Product Lines},
  publisher = {Springer Berlin Heidelberg},
  pages = {193-207},
  year = {2012},
  doi = {10.1007/978-3-642-34026-0_15},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!