Publications

CRST-FMICS08

Summary

A. Cimatti, M. Roveri, A. Susi and S. Tonetta (2008) From Informal Requirements to Property-Driven Formal Validation. In FMICS., pages 166-181.

Bibtex entry

@INPROCEEDINGS { CRST-FMICS08,
    AUTHOR = { A. Cimatti and M. Roveri and A. Susi and S. Tonetta },
    TITLE = { {From Informal Requirements to Property-Driven Formal Validation} },
    BOOKTITLE = { FMICS },
    YEAR = { 2008 },
    PAGES = { 166-181 },
}