CS121 CS322 Formal Methods David Bowie • 1947 - 2016 Who am I? (for those of you who don’t know me already) Dr. Barry Wittman Not Dr. Barry Whitman Education: PhD and…
