ECSEE6863-1: Formal Verif HW SW Systems for Fall 2021

Days and Time

Wednesdays 6:10 PM-8:00 PM

Location

214 PUP

Allowed For:

  • Undergraduate
  • Masters
  • Professional
  • PhD

Prerequisites:

None

Notes:

None

Instructor:

Theobald, Michael

Description