Toggle navigation
English
Ελληνικά
Ελληνικά
English
Ελληνικά
Σύνδεση
Toggle navigation
Προβολή τεκμηρίου
Αρχική
Δημοσιεύσεις ΠΚ / UCY Publications
002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
Τμήμα Πληροφορικής / Department of Computer Science
Προβολή τεκμηρίου
Αρχική
Δημοσιεύσεις ΠΚ / UCY Publications
002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
Τμήμα Πληροφορικής / Department of Computer Science
Προβολή τεκμηρίου
JavaScript is disabled for your browser. Some features of this site may not work without it.
Article
Preface
Ημερομηνία
2016
Συγγραφέας
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
Εμφάνιση πλήρους εγγραφής
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
Τμήμα Πληροφορικής / Department of Computer Science
[1952]
Cite as
APA
Vancouver
Harvard
BibTeX
Αναζήτηση στο Γνῶσις
Αυτή η συλλογή
Πλοήγηση
Όλο το Γνῶσις
Κοινότητες & Συλλογές
Ανά ημερομηνία υποβολής
Συγγραφείς
Τίτλοι
Λέξεις κλειδιά
Ανά Τύπο
Ανά Τμήμα
Ανά Σχολή
Αυτή η συλλογή
Ανά ημερομηνία υποβολής
Συγγραφείς
Τίτλοι
Λέξεις κλειδιά
Ανά Τύπο
Ανά Τμήμα
Ανά Σχολή
Ο λογαριασμός μου
Σύνδεση
Statistics
View Usage Statistics