HOLLY - An Approach to Object Code Verification

Abstract

Data di Pubblicazione:

1998

Tipologia CRIS:

Abstract (in Volume)

Elenco autori:

Benini, Marco; Kalvala, S.; Nowotka, D.; Pulley, C.

Autori di Ateneo:

BENINI MARCO

Link alla scheda completa:

https://irinsubria.uninsubria.it/handle/11383/15737