@inproceedings{
    TripakisMEMOCODE2014_stavros,
    author = "Nuzzo, P. and Iannopollo, A. and Tripakis, S. and Sangiovanni-Vincentelli, A. L.",
    responsibleauthor = "Tripakis, Stavros",
    language = "eng",
    title = "{Are Interface Theories Equivalent to Contract Theories?}",
    booktitle = "12th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)",
    juforank = "",
    il = "yes",
    eventdetails = "Lausanne, Switzerland on October 19-21, 2014",
    year = "2014",
    unitcode = "T306-100",
    kay = "",
    impactfactor = "A4"
}