Course Topics and Synopsis

“Functional Programming”
Prof. Dr. Jeff Sanders
United Nation University/Institute of Software Technology, Macao

Synopsis:

"Model Checking"
Dr. Van Dang Hung
University of Da Nang, Vietnam

Synopsis: