Open Courseware - Virtual University of Pakistan

Log In / Register

View All Courses

Featured Courses

Home > Courses > Computer Science/Information Technology > CS709

CS709 : Formal Methods for Software Engineering

Related Links

URL:	http://www.ece.cmu.edu/~koopman/des_s99/formal_methods/
Description:	Useful link for course related material, taught by Michael Collins at Carnegie Mellon University.

URL:	http://www.cs.uiowa.edu/~fleck/181.html
Description:	Useful link for course related material, taught by Arthur C. Fleck at The University of Iowa.

URL:	http://www.cs.toronto.edu/fm/gurfinkelA.html
Description:	Course Related valuable link provided by University of Toronto, Canada.

URL:	http://cs.nyu.edu/courses/fall01/G22.3033-007/index.htm
Description:	Useful link for course related material, taught by Amir Pnueli and Robert Dewar at New York University.

Back to Top

© 2011 Virtual University of Pakistan.
Developed by IT Department, Virtual University of Pakistan.