Associate Chair for Undergraduate Studies - External
Computing and Software
Professor
Computing and Software
Related Courses
Pre/Postconditions, refinement, state-based approaches, event based approaches, algebraic specifications, Petri nets, temporal logic, properties of programs, and specification, verification, and validation.
