Publications

imbsa22

Summary

A. Bombardelli, M. Bozzano, R. Cavada, A. Cimatti, A. Griggio, M. Nazaria, E. Nicolodi, S. Tonetta (2022) COMPASTA: Extending TASTE with Formal Design and Verification Functionality. In Proceedings IMBSA 2022, pages 21-27.

BibTeX Entry

@INPROCEEDINGS { imbsa22,
    AUTHOR = { A. Bombardelli and M. Bozzano and R. Cavada and A. Cimatti and A. Griggio and M. Nazaria and E. Nicolodi and S. Tonetta },
    TITLE = { COMPASTA: Extending TASTE with Formal Design and Verification Functionality },
    BOOKTITLE = { Proceedings IMBSA 2022 },
    SERIES = { LNCS },
    VOLUME = { 13525 },
    PAGES = { 21-27 },
    YEAR = { 2022 },
}