Partial model checking and theorem proving for ensuring security properties

Contributo in Atti di convegno

Data di Pubblicazione:

1998

Tipologia CRIS:

04.01 Contributo in Atti di convegno

Elenco autori:

Autori di Ateneo:

MARTINELLI FABIO

Link alla scheda completa:

URL