Courses Taught

Fall 2000:

• CS 551/651: Formal Techniques in Software Development

Spring 2001:

• CS 340: Advanced Software Development Methods

Fall 2001:

• CS 551/651: Formal Techniques in Software Development

Copyright © 2001 John C. Knight.