DSpace Repository

Browsing Technical Reports by Author "ALBERTI, Francesco"

Browsing Technical Reports 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


Browse

My Account