Preface

José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationFormal Aspects of Component Software
Subtitle of host publication10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
EditorsJosé Luiz Fiadeiro, Zhiming Liu, Jinyun Xue
PublisherSpringer
Number of pages1
Volume8348 LNCS
ISBN (Electronic)978-3-319-07602-7
ISBN (Print)978-3-319-07601-0
DOIs
Publication statusPublished - Jan 2014
Event10th International Symposium on Formal Aspects of Component Software, FACS 2013 - Nanchang, China
Duration: 27 Oct 201329 Oct 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
ISSN (Print)0302-9743

Conference

Conference10th International Symposium on Formal Aspects of Component Software, FACS 2013
CountryChina
CityNanchang
Period27/10/1329/10/13

Keywords

  • distributed systems
  • e-commerce
  • formal software verification
  • model-driven software engineering
  • software architecture

Cite this

Fiadeiro, J. L., Liu, Z., & Xue, J. (2014). Preface. In J. L. Fiadeiro, Z. Liu, & J. Xue (Eds.), Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers (Vol. 8348 LNCS). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). Springer . https://doi.org/10.1007/978-3-319-07602-7