https://www.simonedinardodimaio.it/tag/publications/https://www.simonedinardodimaio.it/tag/nfm/https://www.simonedinardodimaio.it/tag/nasa-formal-methods/https://www.simonedinardodimaio.it/tag/static-analysis/https://www.simonedinardodimaio.it/tag/conference-paper/https://www.simonedinardodimaio.it/tag/acm-sigplan/https://www.simonedinardodimaio.it/tag/fm/https://www.simonedinardodimaio.it/tag/formal-methods/https://www.simonedinardodimaio.it/tag/acta-informatica/https://www.simonedinardodimaio.it/tag/article/https://www.simonedinardodimaio.it/tag/narrowing/https://www.simonedinardodimaio.it/tag/abstract-domains/https://www.simonedinardodimaio.it/tag/phd-thesis/https://www.simonedinardodimaio.it/tag/phd/https://www.simonedinardodimaio.it/tag/dottorato/