| dc.contributor.author | Fitzgerald, J. | en |
| dc.contributor.author | Gnesi, S. | en |
| dc.contributor.author | Heitmeyer, C. | en |
| dc.contributor.author | Philippou, Anna | en |
| dc.contributor.editor | Heitmeyer C. | en |
| dc.contributor.editor | Philippou, Anna | en |
| dc.contributor.editor | Gnesi S. | en |
| dc.contributor.editor | Fitzgerald J. | en |
| dc.creator | Fitzgerald, J. | en |
| dc.creator | Gnesi, S. | en |
| dc.creator | Heitmeyer, C. | en |
| dc.creator | Philippou, Anna | en |
| dc.date.accessioned | 2019-11-13T10:40:04Z | |
| dc.date.available | 2019-11-13T10:40:04Z | |
| dc.date.issued | 2016 | |
| dc.identifier.issn | 0302-9743 | |
| dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/53942 | |
| dc.source | 21st International Symposium on Formal Methods, FM 2016 | en |
| dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84996587714&partnerID=40&md5=646b3a839563ce5975797310f377b1ab | |
| dc.title | Preface | en |
| dc.type | info:eu-repo/semantics/article | |
| dc.description.volume | 9995 LNCS | en |
| dc.description.startingpage | V | |
| dc.description.endingpage | VI | |
| dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
| dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
| dc.type.uhtype | Article | en |
| dc.description.notes | <p>Sponsors: | en |
| dc.description.notes | Conference code: 186449</p> | en |
| dc.source.abbreviation | Lect. Notes Comput. Sci. | en |
