ECOMS6998-2: Formal Verification Syste for Fall 2020

Days and Time

Wednesdays 4:10 PM-6:00 PM

Location

ONLI ONLY

Allowed For:

  • Masters
  • Professional
  • PhD

Prerequisites:

Instructor's permission.

Notes:

None

Instructor:

Gu, Ronghui

Description

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