Editorial in Formal Aspects of Computing

Articolo

Data di Pubblicazione:

2012

Tipologia CRIS:

01.07 Editoriale in rivista

Keywords:

Formal methods; Software engineering; Software/Program Verification

Elenco autori:

Gnesi, Stefania

Link alla scheda completa:

https://iris.cnr.it/handle/20.500.14243/256820

Pubblicato in:

FORMAL ASPECTS OF COMPUTING

Journal

Dati Generali

URL

http://link.springer.com/article/10.1007%2Fs00165-012-0224-9