DSpace Repository

FM2014: Formal Methods, Doctor Symposium

Show simple item record

dc.contributor.author CAVALCANTI, Ana en_US
dc.contributor.author ALBERTI, Francesco en_US
dc.contributor.author DENMAN, William en_US
dc.contributor.author FILHO, M.S. Conserva en_US
dc.contributor.author GUI, Lin en_US
dc.contributor.author NGUYEN, Thien Binh en_US
dc.contributor.author QUAN, Thanh Tho en_US
dc.contributor.author NGUYEN, Minh Hai en_US
dc.contributor.author NGUYEN, Huu Vu en_US
dc.contributor.author NGUYEN, Cong Dinh en_US
dc.contributor.author SETYAUTAMI, Maya Retno Ayu en_US
dc.date.accessioned 2014-05-30T08:57:49Z en_US
dc.date.accessioned 2017-01-23T07:00:08Z
dc.date.available 2014-05-30T08:57:49Z en_US
dc.date.available 2017-01-23T07:00:08Z
dc.date.issued 2014-05-30T08:57:49Z en_US
dc.identifier.uri http://hdl.handle.net/1900.100/4623 en_US
dc.description.abstract Preface 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.language.iso en en_US
dc.relation.ispartofseries ;TRA5/14 en_US
dc.title FM2014: Formal Methods, Doctor Symposium en_US
dc.type Technical Report en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Browse

My Account