Article  



Preface

Thumbnail
Date
2016
Author
Fitzgerald, J.
Gnesi, S.
Heitmeyer, C.
Philippou, Anna
ISSN
0302-9743
Source
21st International Symposium on Formal Methods, FM 2016
Volume
9995 LNCS
Pages
V-VI

Google Scholar check
Metadata
Show full item record
Links
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84996587714&partnerID=40&md5=646b3a839563ce5975797310f377b1ab
URI
http://gnosis.library.ucy.ac.cy/handle/7/53942
Collections

Cite as