Proceedings of the third international workshop on formal methods for interactive systems (FMIS 2009)

Curatela
Data di Pubblicazione:
2009
Abstract:
Special issue on the third international workshop on formal methods for interactive systems (FMIS 2009)
Tipologia CRIS:
01.10 Curatela di numero monografico in rivista
Keywords:
formal methods; interactive systems
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/231775
Pubblicato in:
ELECTRONIC COMMUNICATIONS OF THE EASST
Journal