CSE507: Computer-Aided Reasoning for Software Engineering (pending)

Description:

Portions of the CSE 507 Web may be reprinted or adapted for academic nonprofit purposes, providing the source is accurately quoted and duly credited. The CSE 507 Web: © 1993-2014, Department of Computer Science and Engineering, University of Washington. Administrative information on CSE507 (authentication required).