ECOMS6998-3: Formal Verification Syste for Fall 2021

Days and Time

Mondays 4:10 PM-6:00 PM

Location

313 FAY

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.