Editorial in Formal Aspects of Computing

Academic Article

Publication Date:

2012

Iris type:

01.07 Editoriale in rivista

Keywords:

Formal methods; Software engineering; Software/Program Verification

List of contributors:

Gnesi, Stefania

Handle:

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

Published in:

FORMAL ASPECTS OF COMPUTING

Journal

Overview

URL

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