Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.contributor.authorCAVALCANTI, Anaen_US
dc.contributor.authorALBERTI, Francescoen_US
dc.contributor.authorDENMAN, Williamen_US
dc.contributor.authorFILHO, M.S. Conservaen_US
dc.contributor.authorGUI, Linen_US
dc.contributor.authorNGUYEN, Thien Binhen_US
dc.contributor.authorQUAN, Thanh Thoen_US
dc.contributor.authorNGUYEN, Minh Haien_US
dc.contributor.authorNGUYEN, Huu Vuen_US
dc.contributor.authorNGUYEN, Cong Dinhen_US
dc.contributor.authorSETYAUTAMI, Maya Retno Ayuen_US
dc.description.abstractPreface This volume contains the papers presented at the Doctoral Symposium which was held in Singapore on 13 May 2014 as part of the International Symposium on Formal Methods (FM2014). The Doctoral Symposium is an important event where students have the opportunity to present their ideas at an international forum. The papers selected for this year’s symposium were reviewed carefully by the Programme Committee members: · Franck Cassez (NICTA, Sydney Australia) · Wei-Ngan Chin (National Univ of Singapore) · Christine Choppy (Laboratoire d’Informatique de l’Universit´e Paris Nord) · Yuan Feng (University of Technology, Sydney, Australia) · Shang-Wei Lin (Temasek Laboratories, National University of Singapore) · Graeme Smith (University of Queensland, Australia) · Elena Troubitsyna (˚Abo Akademi, Finland) · Huibiao Zhu (Software Engineering Institute, East China Normal University) The symposium invited Prof. Ana Cavalcanti as distinguished speaker, whose abstract of her talk Can Java ever be safe? is included in this proceedings. I would like to thank the authors of the submitted papers, Prof. Cavalcanti and the members of the Programme Committee for their contributions, and finally I thank all symposium participants for making this event fruitful and worthwhile. Annabelle McIver FM Doctoral Symposium Chair.en_US
dc.titleFM2014: Formal Methods, Doctor Symposiumen_US
dc.typeTechnical Reporten_US
Appears in Collections:Technical Reports

Files in This Item:
File Description SizeFormat 
TRA5-14.pdf624.18 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.