Data di Pubblicazione:
2015
Tipologia CRIS:
Relazione (in Volume)
Elenco autori:
Gebler, Daniel; Larsen, Kim Guldstrand; Tini, Simone
Link alla scheda completa:
Titolo del libro:
Foundations of Software Science and Computation Structures - 18th International Conference, FoSSaCS 2015
Pubblicato in: