ECOMS6998-5: Formal Verification Systm for Fall 2018

Days and Time

Tuesdays 6:10 PM-8:00 PM

Location

RTBA BTBA

Allowed For:

  • Masters
  • Professional
  • PhD

Prerequisites:

Instructor's permission.

Notes:

None

Instructor:

Zheng, Changxi

Description

Selected topics in computer science. Content varies from year to year. May be repeated for credit.