Publications

atva14

Summary

M. Bozzano, A. Cimatti, C. Mattarei and S. Tonetta (2014) Formal Safety Assessment via Contract-Based Design. In Proceedings of ATVA 2014, Springer, pages 81-97.

BibTeX Entry

@INCOLLECTION { ATVA14,
    AUTHOR = { M. Bozzano and A. Cimatti and C. Mattarei and S. Tonetta },
    TITLE = { Formal Safety Assessment via Contract-Based Design },
    BOOKTITLE = { Proceedings of ATVA 2014 },
    SERIES = { LNCS },
    VOLUME = { 8837 },
    PAGES = { 81-97 },
    YEAR = { 2014 },
    PUBLISHER = { Springer },
}