Publications

auj23

Summary

A. Bombardelli, A. Bonizzi, M. Bozzano, R. Cavada, A. Cimatti, A. Griggio, M. Nazaria, E. Nicolodi, S. Tonetta, G. Zampedri (2023) COMPASTA: Integrating COMPASS Functionality into TASTE. In Ada User Journal, 44(1).

BibTeX Entry

@ARTICLE { auj23,
    AUTHOR = { A. Bombardelli and A. Bonizzi and M. Bozzano and R. Cavada and A. Cimatti and A. Griggio and M. Nazaria and E. Nicolodi and S. Tonetta and G. Zampedri },
    TITLE = { COMPASTA: Integrating COMPASS Functionality into TASTE },
    JOURNAL = { Ada User Journal },
    VOLUME = { 44 },
    NUMBER = { 1 },
    YEAR = { 2023 },
}