Show simple item record

FM 2016: Formal Methods : 21st International Symposium Limassol, Cyprus, November 9-11, 2016 proceedings

dc.contributor.authorFitzgerald, Johnen
dc.contributor.authorHeitmeyer, Constance L.,editoren
dc.contributor.authorGnesi, Stefaniaen
dc.contributor.authorPhilippou, Annaen
dc.contributor.editorFitzgerald, Johnen
dc.contributor.editorHeitmeyer, Constance L.,editoren
dc.contributor.editorGnesi, Stefaniaen
dc.contributor.editorPhilippou, Annaen
dc.creatorFitzgerald, Johnen
dc.creatorHeitmeyer, Constance L.,editoren
dc.creatorGnesi, Stefaniaen
dc.creatorPhilippou, Annaen
dc.date.accessioned2019-11-13T10:40:05Z
dc.date.available2019-11-13T10:40:05Z
dc.identifier.isbn978-3-319-48989-6
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/53943
dc.sourceInternational Symposium of Formal Methods Europeen
dc.subjectComputer software Development Congressesen
dc.subjectFormal methods (Computer science) Congressesen
dc.subjectSystem design Mathematics Congressesen
dc.titleFM 2016: Formal Methods : 21st International Symposium Limassol, Cyprus, November 9-11, 2016 proceedingsen
dc.typeinfo:eu-repo/semantics/conferenceObject
dc.author.faculty002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
dc.author.departmentΤμήμα Πληροφορικής / Department of Computer Science
dc.type.uhtypeConference Objecten
dc.description.notes<p>ID: 825en
dc.description.notesNational Bib. No.: GBB6J4990 bnben
dc.description.notesNat.Bib.Agcy.Ctl.No: 018122475 Uken
dc.description.notesCataloging Source: StDuBDS eng StDuBDS Uk rdaen
dc.description.notesAuthentication Code: ukblcatcopyen
dc.description.notesDewey DC Class. No.: 005.1 23en
dc.description.notesAdd.Phys.Form Note: Also published electronically.en
dc.description.notesBibliography Note: Includes bibliographical references and index.en
dc.description.notesFormerly CIP. Uken
dc.description.notesDSC Conf. Note: Selected papers.en
dc.description.notesAut. Ctl. Info.: 111=NEWen
dc.description.notesDSC Shelving Title: Lecture notes in computer science, ISSN 0302-9743en
dc.description.notesno 9995 2016en
dc.description.notesLink: ITM 016613994 BLL50 2016 9995</p>en


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record