Rule Formats for Non Interference

Contributo in Atti di convegno
Data di Pubblicazione:
2003
Tipologia CRIS:
Relazione (in Volume)
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://irinsubria.uninsubria.it/handle/11383/1490756
Titolo del libro:
Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series