CSE599A2: Advanced Computer-Aided Reasoning for Software

Prerequisites: CSE 507
Credits: 4.0

Portions of the CSE599A2 web may be reprinted or adapted for academic nonprofit purposes, providing the source is accurately quoted and duly creditied. The CSE599A2 Web: © 1993-2021, Department of Computer Science and Engineering, Univerity of Washington. Administrative information on CSE599A2 (authentication required).