@inproceedings{
    DATE2014_stavros,
    author = "Iannopollo, A. and Nuzzo, P. and Tripakis, S. and Sangiovanni-Vincentelli, A.",
    responsibleauthor = "Tripakis, Stavros",
    language = "eng",
    title = "{Library-Based Scalable Refinement Checking for Contract-Based Design}",
    booktitle = "Design and Test Europe -- DATE 2014",
    juforank = "",
    il = "yes",
    eventdetails = "24.-28.3.2014, Dresden, Germany",
    year = "2014",
    unitcode = "T306-100",
    kay = "",
    impactfactor = "A4"
}