dc.contributor.author | Fitzgerald, John | en |
dc.contributor.author | Heitmeyer, Constance L.,editor | en |
dc.contributor.author | Gnesi, Stefania | en |
dc.contributor.author | Philippou, Anna | en |
dc.contributor.editor | Fitzgerald, John | en |
dc.contributor.editor | Heitmeyer, Constance L.,editor | en |
dc.contributor.editor | Gnesi, Stefania | en |
dc.contributor.editor | Philippou, Anna | en |
dc.creator | Fitzgerald, John | en |
dc.creator | Heitmeyer, Constance L.,editor | en |
dc.creator | Gnesi, Stefania | en |
dc.creator | Philippou, Anna | en |
dc.date.accessioned | 2019-11-13T10:40:05Z | |
dc.date.available | 2019-11-13T10:40:05Z | |
dc.identifier.isbn | 978-3-319-48989-6 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/53943 | |
dc.source | International Symposium of Formal Methods Europe | en |
dc.subject | Computer software Development Congresses | en |
dc.subject | Formal methods (Computer science) Congresses | en |
dc.subject | System design Mathematics Congresses | en |
dc.title | FM 2016: Formal Methods : 21st International Symposium Limassol, Cyprus, November 9-11, 2016 proceedings | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Conference Object | en |
dc.description.notes | <p>ID: 825 | en |
dc.description.notes | National Bib. No.: GBB6J4990 bnb | en |
dc.description.notes | Nat.Bib.Agcy.Ctl.No: 018122475 Uk | en |
dc.description.notes | Cataloging Source: StDuBDS eng StDuBDS Uk rda | en |
dc.description.notes | Authentication Code: ukblcatcopy | en |
dc.description.notes | Dewey DC Class. No.: 005.1 23 | en |
dc.description.notes | Add.Phys.Form Note: Also published electronically. | en |
dc.description.notes | Bibliography Note: Includes bibliographical references and index. | en |
dc.description.notes | Formerly CIP. Uk | en |
dc.description.notes | DSC Conf. Note: Selected papers. | en |
dc.description.notes | Aut. Ctl. Info.: 111=NEW | en |
dc.description.notes | DSC Shelving Title: Lecture notes in computer science, ISSN 0302-9743 | en |
dc.description.notes | no 9995 2016 | en |
dc.description.notes | Link: ITM 016613994 BLL50 2016 9995</p> | en |