DSpace Repository

Browsing by Author "ALBERTI, Francesco"

Browsing by Author "ALBERTI, Francesco"

Sort by: Order: Results:

  • CAVALCANTI, Ana; ALBERTI, Francesco; DENMAN, William; FILHO, M.S. Conserva; GUI, Lin; NGUYEN, Thien Binh; QUAN, Thanh Tho; NGUYEN, Minh Hai; NGUYEN, Huu Vu; NGUYEN, Cong Dinh; SETYAUTAMI, Maya Retno Ayu (2014-05-30)
    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 ...

Search DSpace


My Account